scientific article

From MaRDI portal

Revision as of 22:00, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3216628

Jump to:navigation, search

zbMath0554.03011MaRDI QIDQ3216628

Albert R. Meyer, Kim B. Bruce

Publication date: 1984

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

zbMATH Keywords

polymorphic lambda calculus denotational semantics second order lambda expression semantics of computer languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

Related Items (8)

Functional sorts in data type specifications ⋮ Inductive types and type constraints in the second-order lambda calculus ⋮ A modest model of records, inheritance, and bounded quantification ⋮ Recursion over realizability structures ⋮ Extensional models for polymorphism ⋮ The semantics of second-order lambda calculus ⋮ Typing and computational properties of lambda expressions ⋮ Domain theoretic models of polymorphism

This page was built for publication:

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