Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

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, ...

Natural Language & Linguistic Theory, Vol. 14, No. 4 (Nov., 1996), pp. 673-723 (51 pages) This paper addresses the question whether the type of passive that a language has is or is not related to ...