Sciweavers

9 search results - page 1 / 2
» tlca 1993
Sort
View
TLCA
1993
Springer
13 years 7 months ago
Pure Type Systems Formalized
James McKinna, Robert Pollack
TLCA
1993
Springer
13 years 7 months ago
An Abstract Notion of Application
Pietro Di Gianantonio, Furio Honsell
TLCA
1993
Springer
13 years 7 months ago
A Term Calculus for Intuitionistic Linear Logic
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...