Publisher
The Philosophy of Science Society, Japan
Reference7 articles.
1. [1] S. Awodey, A. Pelayo, and M.A. Warren. Voevodsky’s univalence axiom in homotopy type theory. Notices of AMS, 60(9):1164-1167, 2013.
2. [2] G. Boolos. The consitency of Frege’s foundation of mathematics. In W.Demopoulos, editor, Frege’s Philosophy of Mathematics, pages 211-233. Harvard University Press, 1995.
3. [3] P. Martin-Löf. Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis, 1984.
4. [4] J. McCarthy. A basis for a mathematical theory of computation, preliminary report. In Proceedings western IRE-AIEE-ACM computer conference, pages 225-238. ACM, 1961.
5. [5] P. Urzyczyn M.H. Sørensen. Lectures on the Curry-Howard Isomorphism. Studies in Logic and the Foundations of Mathematics. Elsevier, 2006.