scientific article; zbMATH DE number 1241701

From MaRDI portal

Revision as of 14:56, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4225151

Jump to:navigation, search

zbMath0919.68085MaRDI QIDQ4225151

Eugenio Moggi

Publication date: 18 January 1999

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

zbMATH Keywords

denotational semantics metalanguages

Mathematics Subject Classification ID

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

Related Items (3)

Monad transformers as monoid transformers ⋮ Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion ⋮ Specification of Logic Programming Languages from Reusable Semantic Building Blocks

This page was built for publication:

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