Theoretical Computer Science

17

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

13 years 11 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

18

click to vote

TLCA
1993
Springer

129views Theoretical Computer Science» more TLCA 1993»

The Conservation Theorem revisited

13 years 11 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 »

15

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

13 years 11 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

20

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

Recursive Types Are not Conservative over F

13 years 11 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 »

17

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

13 years 11 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper