Paper Info
Title
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 1975
Year
Venue
Keywords
1975
Lambda-Calculus and Computer Science Theory
lambda calculus
Field
DocType
Volume
Algebra,Normalisation by evaluation,Typed lambda calculus,Simply typed lambda calculus,Lambda cube,System F,Pure mathematics,Type inhabitation,Pure type system,Mathematics,Curry–Howard correspondence
Conference
37
ISBN
Citations 
PageRank 
isbn
22
28.99
References 
Authors
0
2
Name
Order
Citations
PageRank
Corrado Böhm1487413.44
istituto per le applicazioni del calcolo22228.99