Paper Info
Title
Equivalences between Pure Type Systems and Systems of Illative Combinatory Logic
Year
DOI
Venue
2005
10.1305/ndjfl/1117755149
Notre Dame Journal of Formal Logic
Keywords
Field
DocType
proof assistant,lambda calculus,type system
Discrete mathematics,Lambda calculus,Of the form,Lambda cube,Combinatory logic,Algorithm,Mathematical proof,Dependent type,Mathematics,Curry–Howard correspondence
Journal
Volume
Issue
Citations 
46
2
2
PageRank 
References 
Authors
0.54
8
2
Name
Order
Citations
PageRank
Martin W. Bunder16416.78
W. J. M. Dekkers220.54