nLab
propositions as types in combinatory algebra

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

Last revised on August 5, 2013 at 07:24:53. See the history of this page for a list of all contributions to it.