# Pure type system

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2007

Highly Cited

2007

- TLCA
- 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

- J. Funct. Program.
- 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)

Is this relevant?

2002

2002

- LATIN
- 2002

In this paper we add parameters to A-calculus and type theory and show that the resulting systems have nice meta-theoreticalâ€¦Â (More)

Is this relevant?

1999

1999

- TLCA
- 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

- Journal of Logic, Language and Information
- 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

- LFCS
- 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

- 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

- TLCA
- 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

- LFCS
- 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

- TLCA
- 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?