scientific article; zbMATH DE number 810966

zbMath0830.03006MaRDI QIDQ4852318

Karim Nour

Publication date: 30 January 1996

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

zbMATH Keywords

operatorsterms of \(\lambda C\)-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Entiers intuitionnistes et entiers classiques en $\lambda \, C$-calcul

This page was built for publication: