Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,531,638 papers from all fields of science
Search
Sign In
Create Free Account
Pure type system
Known as:
Barendregt-Geuvers-Klop conjecture
, Pure type systems
, Generalized type system
Expand
In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Calculus of constructions
Curry–Howard correspondence
De Bruijn notation
Dependent type
Expand
Broader (2)
Lambda calculus
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
LAPORAN INDIVIDUPRAKTEK LAPANGAN TERBIMBING (PLT)
Astri Dewi Kinarsih
2017
Corpus ID: 195054546
ABSTRAK Praktek Lapangan Terbimbing (PLT) yang diadakan di SD Negeri Tukangan berlangsung mulai tanggal 15 September 2017…
Expand
2012
2012
On the Existence of General Equilibrium in Finite Games and General Game Dynamics
Dashiell E. A. Fryer
arXiv.org
2012
Corpus ID: 15213677
A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game…
Expand
2010
2010
Sensor-Aided Personal Navigation Systems for Handheld Devices
Chao-Min Su
,
Jiader Chou
,
Chih-Wei Yi
,
Y. Tseng
,
Chia-Hung Tsai
39th International Conference on Parallel…
2010
Corpus ID: 2284037
The positioning technique is the key technique for developing geographic applications, like location based services. The Global…
Expand
2010
2010
BIOACCUMULATION OF COBALT IN MOSQUITOFISH (Gambusia affinis BAIRD&GIRARS, 1853) AT DIFFERENT FLOW RATES AND CONCENTRATIONS
U. Güner
2010
Corpus ID: 59391011
The aim of the present study was to determine Co accumulation pattern in bodies of mosquitofish (Gambusia affinis Baird & Girard…
Expand
2001
2001
Modeling state-level water quality management: the case of the Neuse River Basin
K. Schwabe
2001
Corpus ID: 25857596
1999
1999
Type-checking injective pure type systems
G. Barthe
Journal of functional programming
1999
Corpus ID: 1812321
Injective pure type systems form a large class of pure type systems for which one can compute by purely syntactic means two sorts…
Expand
1997
1997
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Neil Ghani
International Conference on Typed Lambda Calculus…
1997
Corpus ID: 16565012
Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have…
Expand
1996
1996
External Field Dependence of Fe57 NMR in Pure Iron
J. Dho
,
Mincheol Kim
,
Soonchil Lee
,
W. Lee
,
Yoonbae Kim
1996
Corpus ID: 123367982
The NMR spin echo in pure iron was measured as a function of external magnetic field up to 10 kgauss at room temperature. We…
Expand
1996
1996
Database management support for a news-on-demand application
M. Tamer Ozsu
,
D. Szafron
,
+4 authors
Chiradeep Vittal
Other Conferences
1996
Corpus ID: 6678552
We describe the type system component of a database management system that supports a multimedia news-on-demand application. The…
Expand
1995
1995
Extensions of Pure Type Systems
G. Barthe
International Conference on Typed Lambda Calculus…
1995
Corpus ID: 17589199
We extend pure type systems with quotient types and subset types and establish an equivalence between four strong normalisation…
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