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…

Papers overview

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

2017

ABSTRAK Praktek Lapangan Terbimbing (PLT) yang diadakan di SD Negeri Tukangan berlangsung mulai tanggal 15 September 2017…

2012

A notion of incentive for agents is introduced which leads to a very general notion of an equilibrium for a finite game…

2010

The positioning technique is the key technique for developing geographic applications, like location based services. The Global…

2010

The aim of the present study was to determine Co accumulation pattern in bodies of mosquitofish (Gambusia affinis Baird & Girard…

2001

1999

Injective pure type systems form a large class of pure type systems for which one can compute by purely syntactic means two sorts…

1997

Although the use of expansionary η-rewrite has become increasingly common in recent years, one area where ν-contractions have…

1996

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

We describe the type system component of a database management system that supports a multimedia news-on-demand application. The…

1995

We extend pure type systems with quotient types and subset types and establish an equivalence between four strong normalisation…