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.
2013
2013
Performance analysis of PAPR reduction techninques for MC-CDMA system
- MC-CDMA and OFDM systems are widely used in the existing 3rd and 4th generation wireless networks. They are also good… 
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… 
2010
2010
Sensor-Aided Personal Navigation Systems for Handheld Devices
The positioning technique is the key technique for developing geographic applications, like location based services. The Global… 
2001
2001
Modeling state-level water quality management: the case of the Neuse River Basin
1999
1999
Type-checking injective pure type systems
Injective pure type systems form a large class of pure type systems for which one can compute by purely syntactic means two sorts… 
1998
1998
Modal Pure Type Systems
We present a framework for intensional reasoning in typed λ-calculus. In this family of calculi, called Modal Pure Type Systems… 
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… 
1996
1996
Database management support for a news-on-demand application
We describe the type system component of a database management system that supports a multimedia news-on-demand application. The… 
1995
1995
Extensions of Pure Type Systems
We extend pure type systems with quotient types and subset types and establish an equivalence between four strong normalisation… 
Highly Cited
1967
Highly Cited
1967
Absolutely pure modules
Introduction. In this paper several properties of absolutely pure modules are given. It is shown that absolutely pure and… 
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)