To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
|
|
1980
|
Automatic synthesis of typed \(\Lambda\)-programs on term algebras. Zbl 0597.68017
Böhm, Corrado; Berarducci, Alessandro |
|
1985
|
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G. |
|
1966
|
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S. |
|
1979
|
A self-interpreter of lambda calculus having a normal form. Zbl 0796.03023
Berarducci, Alessandro; Böhm, Corrado |
|
1993
|
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola |
|
1974
|
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola |
|
1975
|
On the existence of cycles of given length in integer sequences like \(x_{n+1}=x_n/2\) if \(x_n\) even, and \(x_{n+1}=3x_n+1\) otherwise. Zbl 0417.10008
Böhm, Corrado; Sontacchi, Giovanna |
|
1978
|
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M. |
|
1977
|
A CUCH-machine: The automatic treatment of bound variables. Zbl 0277.68026
Böhm, Corrado; Dezani, Mariangiola |
|
1972
|
The ant-lion paradigm for strong normalization. Zbl 0817.03006
Böhm, Corrado; Intrigila, Benedetto |
|
1994
|
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare. Zbl 0053.24504
Böhm, Corrado |
|
1953
|
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005
|
|
1975
|
Introduction to the CUCH. Zbl 0192.06903
Böhm, C.; Gross, Wolf |
|
1966
|
Notes on ”A CUCH-machine: The automatic treatment of bound variables”. Zbl 0277.68027
Böhm, Corrado; Dezani, Mariangiola |
|
1973
|
Solving equations in lambda-calculus. Zbl 0686.03009
Böhm, C.; Piperno, A.; Tronci, E. |
|
1989
|
Minimal forms in lambda-calculus computations. Zbl 0451.03002
Böhm, Corrado; Micali, Silvio |
|
1980
|
Functional programming and combinatory algebras. Zbl 0668.68029
Böhm, Corrado |
|
1988
|
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. |
|
1974
|
Can syntax b e ignored during translation? Zbl 0261.68010
Böhm, Corrado; Dezani Ciancaglini, M. |
|
1973
|
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus. Zbl 0716.03003
Böhm, Corrado; Tronci, Enrico |
|
1991
|
Subduing self-application. Zbl 0686.68010
Böhm, Corrado |
|
1989
|
Combinatory logic as monoids. Zbl 0688.03008
Böhm, C.; Dezani-Ciancaglini, M. |
|
1989
|
A data structure formalization through generating function. Zbl 0282.68012
Böhm, Corrado; Dezani-Ciancaglini, M. |
|
1974
|
Listing the functional digraph structures. Zbl 0269.68020
Böhm, Corrado; Dezani-Ciancaglini, M. |
|
1974
|
General recursion on second order term algebras. Zbl 0988.68044
Berarducci, Alessandro; Böhm, Corrado |
|
2001
|
Surjectivity for finite sets of combinators by weak reduction. Zbl 0664.03014
Böhm, Corrado; Piperno, Adolfo |
|
1988
|
Data structures and their transformations. Zbl 0366.68021
Böhm, Corrado; Dezaniciancaglini, Mariangiola |
|
1975
|
Reducing recursion to iteration by algebraic extension. Zbl 0596.68010
Böhm, Corrado |
|
1986
|
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme. Zbl 0057.10702
Böhm, Corrado |
|
1954
|
General recursion on second order term algebras. Zbl 0988.68044
Berarducci, Alessandro; Böhm, Corrado |
|
2001
|
The ant-lion paradigm for strong normalization. Zbl 0817.03006
Böhm, Corrado; Intrigila, Benedetto |
|
1994
|
A self-interpreter of lambda calculus having a normal form. Zbl 0796.03023
Berarducci, Alessandro; Böhm, Corrado |
|
1993
|
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus. Zbl 0716.03003
Böhm, Corrado; Tronci, Enrico |
|
1991
|
Solving equations in lambda-calculus. Zbl 0686.03009
Böhm, C.; Piperno, A.; Tronci, E. |
|
1989
|
Subduing self-application. Zbl 0686.68010
Böhm, Corrado |
|
1989
|
Combinatory logic as monoids. Zbl 0688.03008
Böhm, C.; Dezani-Ciancaglini, M. |
|
1989
|
Functional programming and combinatory algebras. Zbl 0668.68029
Böhm, Corrado |
|
1988
|
Surjectivity for finite sets of combinators by weak reduction. Zbl 0664.03014
Böhm, Corrado; Piperno, Adolfo |
|
1988
|
Reducing recursion to iteration by algebraic extension. Zbl 0596.68010
Böhm, Corrado |
|
1986
|
Automatic synthesis of typed \(\Lambda\)-programs on term algebras. Zbl 0597.68017
Böhm, Corrado; Berarducci, Alessandro |
|
1985
|
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
|
|
1980
|
Minimal forms in lambda-calculus computations. Zbl 0451.03002
Böhm, Corrado; Micali, Silvio |
|
1980
|
A discrimination algorithm inside \(\lambda -\beta\)-calculus. Zbl 0405.03005
Böhm, C.; Dezani-Ciancaglini, M.; Peretti, P.; Ronchi della Rocca, S. |
|
1979
|
On the existence of cycles of given length in integer sequences like \(x_{n+1}=x_n/2\) if \(x_n\) even, and \(x_{n+1}=3x_n+1\) otherwise. Zbl 0417.10008
Böhm, Corrado; Sontacchi, Giovanna |
|
1978
|
Termination tests inside lambda-calculus. Zbl 0358.02025
Böhm, C.; Coppo, M.; Dezani-Ciancaglini, M. |
|
1977
|
\(\lambda\)-terms as total or partial functions on normal forms. Zbl 0342.02017
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola |
|
1975
|
\(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975. Zbl 0316.00005
|
|
1975
|
Data structures and their transformations. Zbl 0366.68021
Böhm, Corrado; Dezaniciancaglini, Mariangiola |
|
1975
|
Combinatorial problems, combinator equations and normal forms. Zbl 0309.68037
Böhm, Corrado; Dezani-Ciancaglini, Mariangiola |
|
1974
|
Listing of information structures defined by fixed-point operators. Zbl 0308.68028
Böhm, C.; Dezani-Ciancaglini, M.; Ronchi della Rocca, S. |
|
1974
|
A data structure formalization through generating function. Zbl 0282.68012
Böhm, Corrado; Dezani-Ciancaglini, M. |
|
1974
|
Listing the functional digraph structures. Zbl 0269.68020
Böhm, Corrado; Dezani-Ciancaglini, M. |
|
1974
|
Notes on ”A CUCH-machine: The automatic treatment of bound variables”. Zbl 0277.68027
Böhm, Corrado; Dezani, Mariangiola |
|
1973
|
Can syntax b e ignored during translation? Zbl 0261.68010
Böhm, Corrado; Dezani Ciancaglini, M. |
|
1973
|
A CUCH-machine: The automatic treatment of bound variables. Zbl 0277.68026
Böhm, Corrado; Dezani, Mariangiola |
|
1972
|
Flow diagrams, Turing machines and languages with only two formation rules. Zbl 0145.24204
Böhm, C.; Jacopini, G. |
|
1966
|
Introduction to the CUCH. Zbl 0192.06903
Böhm, C.; Gross, Wolf |
|
1966
|
Calculatrices digitales. Du déchiffrage de formules logico- mathématiques par la machine même dans la conception du programme. Zbl 0057.10702
Böhm, Corrado |
|
1954
|
Nuovi criteri di esistenza di soluzioni periodiche di una nota equazione differenziale non lineare. Zbl 0053.24504
Böhm, Corrado |
|
1953
|