Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...
Journal of Philosophical Logic, Vol. 18, No. 4 (Nov., 1989), pp. 399-422 (24 pages) Martin-Löf's constructive type theory forms the basis of this paper. His central notions of category and set, and ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback