Name
Papers
Collaborators
CORRADO BÖHM
27
16
Citations 
PageRank 
Referers 
487
413.44
758
Referees 
References 
81
67
Search Limit
200758
Title
Citations
PageRank
Year
General Recursion on Second Order Term Algebras10.382001
Fixed point equations inside the algebra of normal forms10.361999
Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper)00.341997
Lambda-Definition of Function(al)s by Normal Forms80.521994
The ant-lion paradigm for strong normalization70.561994
A Self-Interpreter of Lambda Calculus Having a Normal Form110.811992
About systems of equations, X-separability, and left-invertibility in the &lgr;-calculus20.601991
Subduing Self-Application10.581989
Functional Programming and Combinatory Algebras40.621988
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus00.341988
Surjectivity for Finite Sets of Combinators by Weak Reduction00.341987
X-Separability and Left-Invertibility in lambda-calculus00.341987
Automatic Synthesis of Typed Lambda-Programs on Term Algebras335.811985
Combinatory foundation of functional programming50.821982
CAAP '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings257.931981
Complexity bounds for equivalence and isomorphism of latin squares00.341980
A Discrimination Algorithm Inside lambda-beta-Calculus80.521979
Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings35152.791978
Termination Tests inside lambda-Calculus00.341977
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, March 25-27, 19752228.991975
Lambda-terms as total or partial functions on normal forms33.871975
Combinatorial Problems, Combinator Equations and Normal Forms105.531974
Listing of information structures defined by fixed-point operators00.341974
Notes on “A CUCH-machine: The automatic treatment of bound variables”00.341973
Can Syntax Be Ignored during Translation?00.341972
A CUCH-machine: The automatic treatment of bound variables53.291972
Flow diagrams, turing machines and languages with only two formation rules306196.411966