Paper Info
Title
An upper bound for reduction sequences in the typed λ-calculus
Year
DOI
Venue
1991
10.1007/BF01621476
Arch. Math. Log.
DocType
Volume
Issue
Journal
30
5
Citations 
PageRank 
References 
3
0.47
2
Authors
1
Name
Order
Citations
PageRank
Helmut Schwichtenberg137344.83