Search Sciweavers | Sciweavers

9 search results - page 1 / 2

» tlca 1993

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

15 years 4 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

Voted

TLCA
1993
Springer

102views Theoretical Computer Science» more TLCA 1993»

Pure Type Systems Formalized

15 years 4 months ago

Download eref.uqu.edu.sa

James McKinna, Robert Pollack

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

An Abstract Notion of Application

15 years 4 months ago

Download users.dimi.uniud.it

Pietro Di Gianantonio, Furio Honsell

claim paper

Read More »

Voted

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 4 months ago

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

claim paper

Read More »

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers