scientific article

From MaRDI portal

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

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

Publication:3086783

Jump to:navigation, search

zbMath1226.03028MaRDI QIDQ3086783

Aad Mathijssen, Murdoch James Gabbay

Publication date: 30 March 2011

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

zbMATH Keywords

nominal algebra untyped \(\lambda\)-calculus freshness condition ULAM

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Other algebras related to logic (03G25) Combinatory logic and lambda calculus (03B40)

Related Items (2)

On solving nominal disunification constraints ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

This page was built for publication:

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