References in:

Homotopy theoretic models of identity types

You must login to add references.

An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details Logics in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Export citation Bookmark 53 citations
Locally cartesian closed categories and type theory.R. A. G. Seely - 1984 - Mathematical Proceedings of the Cambridge Philosophical Society 95 (1):33.details No categories Export citation Bookmark 18 citations
An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In H. E. Rose & J. C. Shepherdson (eds.), Logic Colloquium ’73 Proceedings of the Logic Colloquium. Elsevier. pp. 73--118.details No categories Export citation Bookmark 44 citations

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...