scientific article; zbMATH DE number 2061703

zbMath1039.68031MaRDI QIDQ4457450

Benjamin Leperchey, Vincent Padovani, Antonio Bucciarelli

Publication date: 22 March 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2701/27010075.htm

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unfixing the Fixpoint: The Theories of the λY-Calculus

This page was built for publication: