scientific article
From MaRDI portal
Publication:3839074
zbMath0904.03017MaRDI QIDQ3839074
Publication date: 19 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticslambda calculusfunctor categories\(\lambda\)-abstractionKripke logical relationsinterpreting dynamic expressionssemantics of newnametwo-level language
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40) Functor categories, comma categories (18A25)
Related Items (1)
This page was built for publication:
