nLab
propositions as types in combinatory algebra

The material previously on this page may be found at InterSciWiki.

Revised on August 5, 2013 07:24:53 by Jon Awbrey (99.18.24.215)