Lecture Notes in Computer Science - Typed Lambda Calculi and Applications
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540565178, 9783540475866
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A semantics for λ &-early: a calculus with overloading and early binding

1993 ◽  
pp. 107-123 ◽  
Author(s):  
Giuseppe Castagna ◽  
Giorgio Ghelli ◽  
Giuseppe Longo

A term calculus for Intuitionistic Linear Logic

1993 ◽  
pp. 75-90 ◽  
Author(s):  
Nick Benton ◽  
Gavin Bierman ◽  
Valeria de Paiva ◽  
Martin Hyland
Keyword(s):  
Linear Logic ◽  
Intuitionistic Linear Logic

scholarly journals An abstract notion of application

1993 ◽  
pp. 124-138 ◽  
Author(s):  
Pietro Di Gianantonio ◽  
Furio Honsell
Keyword(s):  
Abstract Notion
Load More ...
Sign in / Sign up

Export Citation Format

Share Document