Skip to search formSkip to main contentSkip to account menu

Pure type system

Known as: Barendregt-Geuvers-Klop conjecture, Pure type systems, Generalized type system 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Calculus of constructionsCurry–Howard correspondenceDe Bruijn notationDependent type

Broader (2)

Lambda calculusType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
LAPORAN INDIVIDUPRAKTIK LAPANGAN TERBIMBING (PLT)
Praktik Lapangan Terbimbing (PLT) merupakan langkah strategis untuk melengkapi kompetensi mahasiswa calon tenaga kependidikan… 
2012
2012
On the Existence of General Equilibrium in Finite Games and General Game Dynamics
A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game… 
2012
2012
Matrices Preserving Pythagorean Triples in a UFD
A triple of rational integers (a, b, c) is called a Pythagorean Triple (PT) if a + b = c. When the condition gcd(a, b, c) = 1… 
2009
2009
Bayesian-Based Game Theoretic Model to Guarantee Cooperativeness in Hybrid RF/FSO Mesh Networks
In this paper we describe an effective new technique by which to guarantee cooperativeness in Hybrid Radio-Frequency/Free Space… 
2003
2003
THE NATURE OF GENETIC INSTABILITY IN AUXOTROPHS OF SALMONELLA TYPHIMURZUM REQUIRING CYSTEINE OR METHIONINE AND RESISTANT TO INHIBITION BY
We tested the hypothesis that unstable suppression of auxotrophy in triazole-resistant derivatives of Cymmutants of Salmonella… 
2001
2001
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
In Russell's Ramified Theory of Types RTT, two hierarchical concepts dominate:orders and types. The use of orders has as a… 
1997
1997
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have… 
1996
1996
External Field Dependence of Fe57 NMR in Pure Iron
The NMR spin echo in pure iron was measured as a function of external magnetic field up to 10 kgauss at room temperature. We… 
1957
1957
Diffusion of Slufur in Liquid Iron. I : Diffusion in Pure Iron
1949
1949
Absorption of Nitrogen by Molten Iron Alloys. I : Study on Pure Iron