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.
2011
2011
A set-valued Egoroff type theorem
Review
2008
Review
2008
Computerizing Mathematical Text with MathLang
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… 
1998
1998
Timed Bisimulation and Open Maps
Open maps have been used for defining bisimulations for a range of models, but none of these have modelled real-time. We define a… 
1997
1997
Foundations for the implementation of higher-order subtyping
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with… 
1997
1997
On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation
In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual… 
1989
1989
HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases
Highly Cited
1983
Highly Cited
1983
Increasing Modularity and Language-Independency in Automatically Generated Compilers
1973
1973
Surface Semantics: Definition and Its Motivation1
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)