Sciweavers

ENTCS
2002

Strong Normalization with Singleton Types

13 years 3 months ago
Strong Normalization with Singleton Types
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
Judicaël Courant
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Judicaël Courant
Comments (0)