Publication:4068081
From MaRDI portal
zbMath0309.68037MaRDI QIDQ4068081
Mariangiola Dezani-Ciancaglini, Corrado Böhm
Publication date: 1974
68Q25: Analysis of algorithms and problem complexity
68W30: Symbolic computation and algebraic computation
03B40: Combinatory logic and lambda calculus
68W99: Algorithms in computer science
Related Items
On sets of solutions to combinator equations, About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus, Expressive power of typed and type-free programming languages, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Invertible terms in the lambda calculus, Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus, A discrimination algorithm inside \(\lambda -\beta\)-calculus, An algebraic view of the Böhm-out technique, Equational programming in \(\lambda\)-calculus via SL-systems. Part 1, Unnamed Item, Unnamed Item