Find link

language:

Find link is a tool written by Edward Betts.

searching for Intuitionistic type theory 7 found (52 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 (719 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

Thierry Coquand (514 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.

Identity type (406 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

Universe (mathematics) (2,649 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 (7,917 words) [view diff] exact match in snippet view article find links to article

unintuitive consequences as the Banach–Tarski paradox." Per Martin-Löf, Intuitionistic type theory, 1980. Anne Sjerp Troelstra, Metamathematical investigation of