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

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540403326, 9783540449041
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Relative Definability and Models of Unary PCF

2003 ◽  
pp. 75-89 ◽  
Author(s):  
Antonio Bucciarelli ◽  
Benjamin Leperchey ◽  
Vincent Padovani

A Logical Framework with Dependently Typed Records

2003 ◽  
pp. 105-119 ◽  
Author(s):  
Thierry Coquand ◽  
Randy Pollack ◽  
Makoto Takeyama
Keyword(s):  
Logical Framework

scholarly journals Derivatives of Containers

2003 ◽  
pp. 16-30 ◽  
Author(s):  
Michael Abbott ◽  
Thorsten Altenkirch ◽  
Neil Ghani ◽  
Conor McBride
Keyword(s):  
Derivatives Of
Load More ...
Sign in / Sign up

Export Citation Format

Share Document