Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,418,378 papers from all fields of science
Search
Sign In
Create Free Account
Type theory
Known as:
System of types
, Typed logic
, Type-theoretic
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract data type
Automated proof checking
Bounded quantifier
Brouwer–Heyting–Kolmogorov interpretation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Disfluencies as intra-utterance dialogue moves
J. Ginzburg
,
R. Fernández
,
David Schlangen
2014
Corpus ID: 60731434
Although disfluent speech is pervasive in spoken conversation, disfluencies have received little attention within formal theories…
Expand
Highly Cited
2014
Highly Cited
2014
Principles of the Exclusive Muddle
E. Coppock
,
D. Beaver
Journal of Semantics
2014
Corpus ID: 21547424
This paper provides a lexical entry schema for exclusives covering the adverbs only, just, exclusively, merely, purely, solely…
Expand
Highly Cited
2014
Highly Cited
2014
Varieties of update
Sarah E. Murray
2014
Corpus ID: 17757855
This paper discusses three potential varieties of update: updates to the common ground, structuring updates, and updates that…
Expand
Highly Cited
2013
Highly Cited
2013
Analytic methods for uniform hypergraphs
V. Nikiforov
2013
Corpus ID: 28204177
Highly Cited
2008
Highly Cited
2008
A comprehensive theory of trichotomous evaluative linguistic expressions
V. Novák
Fuzzy Sets Syst.
2008
Corpus ID: 16022999
Highly Cited
2007
Highly Cited
2007
A theory of contracts for web services
Giuseppe Castagna
,
N. Gesbert
,
L. Padovani
ACM-SIGACT Symposium on Principles of Programming…
2007
Corpus ID: 6618609
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a…
Expand
Review
2002
Review
2002
Book Reviews: The Computational Analysis of English: A Corpus based Approach
Michael Lesk
International Conference on Computational Logic
2002
Corpus ID: 146865013
name--see Schiitzenberger (1956). For a summary of the issues, see Ryckman (1986), chap. 5. 2. Carnap and Bar-Hillel (1952), Bar…
Expand
Review
2001
Review
2001
Argumentation Maps: GIS-Based Discussion Support for On-Line Planning
C. Rinner
2001
Corpus ID: 6848238
Information technology plays a growing role in planning procedures. A procedure step which has not been supported by specific…
Expand
Review
1993
Review
1993
Analysis of inheritance anomaly in object-oriented concurrent programming languages
S. Matsuoka
,
A. Yonezawa
1993
Corpus ID: 17914468
It has been pointed out that inheritance and synchronization constraints in concurrent object systems often con ict with each…
Expand
Highly Cited
1991
Highly Cited
1991
Semantics of Type Theory
T. Streicher
Progress in Theoretical Computer Science
1991
Corpus ID: 262471665
An exploration of the categorical semantics of theories of dependent and polymorphic types, using the example of Coquand and Huet…
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