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