scientific article; zbMATH DE number 1841836

zbMath0999.03010MaRDI QIDQ4783324

Marina Lenisa, Samson Abramsky

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420443

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

Unfixing the Fixpoint: The Theories of the λY-Calculus ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ A game semantics for generic polymorphism