scientific article

From MaRDI portal

Publication:3972839

Jump to:navigation, search

zbMath0735.68056MaRDI QIDQ3972839

Stavros S. Cosmandakis

Publication date: 26 June 1992

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

zbMATH Keywords

lazy evaluation full abstraction lambda calculus domain theory recursive types computational adequacy

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items

Confluence of the lambda calculus with left-linear algebraic rewriting

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