scientific article; zbMATH DE number 475247

zbMath0783.03005MaRDI QIDQ4273488

Marek Zaionc

Publication date: 13 January 1994

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

zbMATH Keywords

\(\lambda\)-language over simple type structuresbinary tree type

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered ⋮ \(\lambda\)-definability of free algebras

This page was built for publication: