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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding… (More)
Is this relevant?
2006
2006
In a typing system, there are two approaches that may be taken to the notion of equality. One can use some external relation of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2002
2002
In this paper we add parameters to A-calculus and type theory and show that the resulting systems have nice meta-theoretical… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
1999
1999
We extend the framework of Pure Type Systems with sub-typing, as found in F !. This leads to a concise description of many… (More)
Is this relevant?
1998
1998
We present a framework for intensional reasoning in typed -calculus. In this family of calculi, called Modal Pure Type Systems… (More)
Is this relevant?
1997
1997
Pure type systems make use of domain-full-abstractions x : D : M. We present a variant of pure type systems, which we call domain… (More)
Is this relevant?
1995
1995
In this paper we deene the notion of pure type systems without the-condition. The-condition is the requirement that the type of… (More)
Is this relevant?
1995
1995
We extend pure type systems with quotient types and subset types and establish an equivalence between four strong normalisation… (More)
Is this relevant?
1994
1994
In this paper, an extension of Pure Type Systems (PTS's ) to include definitions is presented and the meta-theory of these PTS's… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
300.twolf 3000 768 391 790 380 Hardware CPU: R12000 CPU MHz: 350 FPU: Integrated CPU(s) enabled: 1 core, 1 chip, 1 core/chip CPU… (More)
Is this relevant?