Theoretical Computer Science

25

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

14 years 3 months ago

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

26

click to vote

TLCA
1993
Springer

129views Theoretical Computer Science» more TLCA 1993»

The Conservation Theorem revisited

14 years 3 months ago

Download www.loria.fr

This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...

Philippe de Groote

claim paper

Read More »

20

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

14 years 3 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

37

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

Recursive Types Are not Conservative over F

14 years 3 months ago

Download www.di.unipi.it

d abstract) Giorgio Ghelli1 F≤ is a type system used to study the integration of inclusion and parametric polymorphism. F≤ does not include a notion of recursive types, but ext...

Giorgio Ghelli

claim paper

Read More »

26

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

14 years 3 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper