scientific article; zbMATH DE number 794258

zbMath0839.68059MaRDI QIDQ4847018

Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin

Publication date: 25 June 1996

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

zbMATH Keywords

denotational semanticslambda-calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

A representable approach to finite nondeterminism, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, On the completeness of order-theoretic models of the \(\lambda \)-calculus, Dedekind completion as a method for constructing new Scott domains, Generalized filter models, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models