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
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… 
1992
1992
Implementing Constructive Real Analysis: Preliminary Report
In this paper we present the results of an investigation into the use of the Nuprl proof development system to implement higher… 
1991
1991
How to Prove Higher Order Theorems in First Order Logic
In this paper we are interested in using a first order theorem prover to prove theorems that are formulated in some higher order… 
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
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)