Find link

language:

Find link is a tool written by Edward Betts.

searching for Intuitionistic type theory 7 found (50 total)

alternate case: intuitionistic type theory

Grammatical Framework (programming language) (1,779 words) [view diff] exact match in snippet view article

system (a logical framework to be precise) based on Martin-Löf's intuitionistic type theory, with additional judgments tailored specifically to the domain

Total functional programming (721 words) [view diff] case mismatch in snippet view article find links to article

evaluation are discussed in: Granström, J. G. (2011). Treatise on Intuitionistic Type Theory. Logic, Epistemology, and the Unity of Science. Vol. 7. ISBN 978-94-007-1735-0

Judgment (mathematical logic) (455 words) [view diff] case mismatch in snippet view article

Philosophical Logic. 1 (1): 11–60. ISSN 0806-6205. Dybjer, Peter. "Intuitionistic Type Theory". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy

Identity type (402 words) [view diff] case mismatch in snippet view article find links to article

nLab. Retrieved 19 January 2022. Martin-Löf, Per (June 1980). Intuitionistic Type Theory (PDF). Streicher, Thomas (1993). Investigations into intensional

Thierry Coquand (506 words) [view diff] case mismatch in snippet view article find links to article

(1985). "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction". Journal of Symbolic Computation.

Universe (mathematics) (2,647 words) [view diff] case mismatch in snippet view article

Luo, "Notes on Universes in Type Theory", 2012. Per Martin-Löf, Intuitionistic Type Theory, Bibliopolis, 1984, pp. 88 and 91. Rathjen, Michael (October 2005)

Axiom of choice (8,013 words) [view diff] exact match in snippet view article find links to article

Principle, arXiv preprint — arXiv:2206.08467. Per Martin-Löf, Intuitionistic type theory, 1980. Anne Sjerp Troelstra, Metamathematical investigation of