Skip to search formSkip to main contentSkip to account menu

Intuitionistic type theory

Known as: Equality type, Martin-Loef Type Theory, Martin-Löf's type theory 
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

37 relations
ATSCalculus of constructionsCategory theoryCayenne (programming language)

Broader (2)

Logic in computer scienceType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modern Perspectives in Type-Theoretical Semantics
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics… 
2013
2013
Constructive Type Theory and the Dialogical Approach to Meaning
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org 
2009
2009
The ubiquity of omnivory
Summary attributes of the 3food webs from each pond.2a 2b 2c 13a 13b 13c#taxaintrophiclevel1 17 18 19 19 19 19# taxa in trophic… 
2007
2007
Naïve Synthetic Domain Theory A Logical
We present two diierent approaches to Synthetic Domains. First we give a synthetic, axiomatic version of extensional PERs which… 
2005
2005
State Dependent IO-Monads in Type Theory
2003
2003
A New Caridean Shrimp Of The Family Alvinocarididae From Thermal Vents At Menez Gwen On The Mid atlantic Ridge
A new species of alvinocaridid shrimp, Alvinocaris williamsi, is described from the Menez Gwen hydrothermal vent field on the Mid… 
1994
1994
Comparison of the effect of lupin supplementation during the non-breeding season on reproductive function in Suffolk and Merino rams
Merino rams respond to changes in nutrition with changes in testicular size, pituitary and testicular hormones, and these changes… 
1994
1994
Predicate logic with anaphora (seven inch version)
Predicate Logic with Anaphora (seven inch version) Paul Dekker University of Amsterdam In this paper I make a case for a separate… 
1988
1988
Propositions as games as types
Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf's Constructive Type Theory… 
1986
1986
A Polymorphic λ-calculus with Type:Type
This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)