scientific article

From MaRDI portal

Publication:3815284

Jump to:navigation, search

zbMath0664.03014MaRDI QIDQ3815284

Corrado Böhm, Adolfo Piperno

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

lambda calculus weak reduction combinatory algebras initial abstractions surjectivity of combinators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3815284&oldid=17395514"