Title
Lambda-Definition of Function(al)s by Normal Forms
Year
DOI
Venue
1994
10.1007/3-540-57880-3_9
ESOP
Keywords
Field
DocType
normal forms,normal form
Programming language,Computer science,Calculus,Lambda
Conference
ISBN
Citations 
PageRank 
3-540-57880-3
8
0.52
References 
Authors
1
3
Name
Order
Citations
PageRank
Corrado Böhm1487413.44
Adolfo Piperno232922.64
Stefano Guerrini31149.90