Corrado Böhm

Publication Activity (10 Years)

Years Active: 1966-2001
Publications (10 Years): 0

Publications

Alessandro Berarducci, Corrado Böhm
General Recursion on Second Order Term Algebras. RTA (2001)
Corrado Böhm
Fixed Point Equations Inside the Algebra of Normal Forms. Fundam. Informaticae 37 (4) (1999)
Corrado Böhm
Theoretical Computer Science and Software Science: The Past, the Present and the Future (Position Paper). TAPSOFT (1997)
Corrado Böhm, Adolfo Piperno, Stefano Guerrini
Lambda-Definition of Function(al)s by Normal Forms. ESOP (1994)
Corrado Böhm, Benedetto Intrigila
The Ant-Lion Paradigm for Strong Normalization Inf. Comput. 114 (1) (1994)
Alessandro Berarducci, Corrado Böhm
A Self-Interpreter of Lambda Calculus Having a Normal Form. CSL (1992)
Corrado Böhm, Enrico Tronci
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus Inf. Comput. 90 (1) (1991)
Corrado Böhm
Subduing Self-Application. ICALP (1989)
Corrado Böhm
Functional Programming and Combinatory Algebras. MFCS (1988)
Corrado Böhm, Adolfo Piperno
Characterizing X-Separability and One-Side Invertibility in lambda-beta-Omega-Calculus LICS (1988)
Corrado Böhm, Adolfo Piperno
Surjectivity for Finite Sets of Combinators by Weak Reduction. CSL (1987)
Corrado Böhm, Enrico Tronci
X-Separability and Left-Invertibility in lambda-calculus LICS (1987)
Corrado Böhm
Reducing Recursion to Iteration by Means of Pairs and N-tuples. Foundations of Logic and Functional Programming (1986)
Corrado Böhm
Reducing Recursion to Iteration by Algebraic Extension. ESOP (1986)
Corrado Böhm, Alessandro Berarducci
Automatic Synthesis of Typed Lambda-Programs on Term Algebras. Theor. Comput. Sci. 39 (1985)
Corrado Böhm
Combinatory Foundation of Functional Programming. Symposium on LISP and Functional Programming (1982)
Corrado Böhm, Silvio Micali
Minimal Forms in lambda-Calculus Computations. J. Symb. Log. 45 (1) (1980)
Corrado Böhm, Antonio Machi, Giovanna Sontacchi
Complexity Bounds for Equivalence and Isomorphism of Latin Squares. Inf. Process. Lett. 10 (4/5) (1980)
Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8 (1979)
Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
Termination Tests inside lambda-Calculus. ICALP (1977)
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Lambda-terms as total or partial functions on normal forms. Lambda-Calculus and Computer Science Theory (1975)
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Combinatorial Problems, Combinator Equations and Normal Forms. ICALP (1974)
Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
Listing of information structures defined by fixed-point operators. Symposium on Programming (1974)
Corrado Böhm, Mariangiola Dezani
Notes on "A CUCH-machine: The automatic treatment of bound variables". Int. J. Parallel Program. 2 (2) (1973)
Corrado Böhm, Mariangiola Dezani-Ciancaglini
A CUCH-machine: The automatic treatment of bound variables. Int. J. Parallel Program. 1 (2) (1972)
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Can Syntax Be Ignored during Translation? ICALP (1972)
Corrado Böhm, Giuseppe Jacopini
Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9 (5) (1966)