Skip to search formSkip to main contentSkip to account menu

Type theory

Known as: System of types, Typed logic, Type-theoretic 
In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract data typeAutomated proof checkingBounded quantifierBrouwer–Heyting–Kolmogorov interpretation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2008
Review
2008
A REVIEW OF BALLOON CONCEPTS FOR TITAN
Titan is a unique place in the solar system. Not only is it a world with a dynamic atmosphere and a diverse landscape [1, 2, 3… 
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
2007
2007
An $L_1$-Method for the Design of Linear-Phase FIR Digital Filters
This paper considers the design of linear-phase finite impulse response digital filters using an L1 optimality criterion. The… 
Review
2006
Review
2006
Stability and finite strain of homogenized structures soft in shear: Sandwich or fiber composites, and layered bodies
Highly Cited
2001
Highly Cited
2001
The Semantics Of Scandinavian Free Choice Items
I present an analysis of Free Choice Items (FCIs), based on Scandinavian, where FCIs are complex and distinct from polarity… 
1999
1999
Towards Probabilistic Unification-Based Parsing
This thesis is about natural language parsing with corpus-based grammars that are enriched with statistics. Parsing is the… 
1997
1997
A Sheaf-Theoretic Foundation for Nonstandard Analysis
1992
1992
How the checklist paradigm elucidates the semantics of fuzzy inference
  • L. KohoutW. Bandler
  • [ Proceedings] IEEE International Conference on…
  • 1992
  • Corpus ID: 122826283
The authors present some results on a theoretical semantic device called the checklist paradigm which gives the theoretical… 
Highly Cited
1983
Highly Cited
1983
Increasing Modularity and Language-Independency in Automatically Generated Compilers
Highly Cited
1976
Highly Cited
1976
SOME EXTENSIONS OF MONTAGUE GRAMMAR
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)