Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
jun okihara
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
David J. Westover
Yu-Wei Chang
Sebastian Magda
Samuel Carton
Tzu-Chien Hsu
Spyros Papagiannis
Home
/
Paper
/
Λ-elimination in illative combinatory logic.
Paper Info
Open Visualization
Title
Λ-elimination in illative combinatory logic.
Year
Venue
DocType
1979
Notre Dame Journal of Formal Logic
Journal
Volume
Issue
Citations
20
3
0
PageRank
References
Authors
0.34
0
1
Authors (1 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Martin W. Bunder
1
64
16.78
1
