Paper Info
Title
Subduing Self-Application
Abstract
Recursive equational schemes, defining total functions on natural numbers, are embedded into a combinatory algebra producing an equation system having the following shape:
Year
DOI
Venue
1989
10.1007/BFb0035755
ICALP
Keywords
Field
DocType
subduing self-application
Discrete mathematics,Natural number,Combinatory logic,Computer science,Fixed point,Recursion,Morphism,Iterator
Conference
ISBN
Citations 
PageRank 
3-540-51371-X
1
0.58
References 
Authors
8
1
Name
Order
Citations
PageRank
Corrado Böhm1487413.44