Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,626,994 papers from all fields of science
Search
Sign In
Create Free Account
Intuitionistic type theory
Known as:
Equality type
, Martin-Loef Type Theory
, Martin-Löf's type theory
Expand
Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
ATS
Calculus of constructions
Category theory
Cayenne (programming language)
Expand
Broader (2)
Logic in computer science
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Constructive Type Theory and the Dialogical Approach to Meaning
Shahid Rahman
,
Nicolas Clerbout
2013
Corpus ID: 53315778
. November 2013 Volume 8: Games, Game Theory and Game Semantics pages 1-72. DOI: . Also online in: www.thebalticyearbook.org
2013
2013
Implications of Mating Behavior in Watermelon Breeding
Rakesh Kumar
,
Mahendra Dia
,
T. C. Wehner
2013
Corpus ID: 14130027
Understanding the natural mating behavior (self- or cross-pollination) in watermelon is important to the design of a suitable…
Expand
2010
2010
Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq
I. Poernomo
,
J. Terrell
IEEE International Conference on Formal…
2010
Corpus ID: 17179471
This paper sketches an approach to the synthesis of provably correct model transformations within the Coq theorem prover, an…
Expand
2009
2009
The ubiquity of omnivory
R. Thompson
,
M. Hemberg
,
B. Starzomski
,
J. Shurin
2009
Corpus ID: 52217962
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…
Expand
Review
2008
Review
2008
Proofs-as-Model-Transformations
I. Poernomo
ICMT@TOOLS
2008
Corpus ID: 208914160
This paper provides an overview of how to develop model transformations that are "provably correct" with respect to a given…
Expand
2005
2005
State Dependent IO-Monads in Type Theory
M. Michelbrink
,
A. Setzer
Category Theory and Computer Science
2005
Corpus ID: 8337688
2003
2003
A New Caridean Shrimp Of The Family Alvinocarididae From Thermal Vents At Menez Gwen On The Mid atlantic Ridge
T. Shank
,
Joel W. Martin
2003
Corpus ID: 54598304
A new species of alvinocaridid shrimp, Alvinocaris williamsi, is described from the Menez Gwen hydrothermal vent field on the Mid…
Expand
1994
1994
The Relationships Among Competitiveness, Age and Ability In Distance Runners
R. Eklund
,
Jeffrey J. Martin
,
Alan L. Smith
1994
Corpus ID: 18860067
The purpose of this study was to examine relationships suggested by general achievement motivation literature and the popular…
Expand
1991
1991
Introducing data types in intuitionistic type theory
Ming-Hua Zhang
International Journal of Computational…
1991
Corpus ID: 120218925
Martin-Lof's intuitionistic type theory (ITT) can be regarded as a programming logic. Yet its data type aspect has not been much…
Expand
1988
1988
Propositions as games as types
Aarne Ranta
Synthese
1988
Corpus ID: 46977532
Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf's Constructive Type Theory…
Expand
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)
ACCEPT & CONTINUE