Two-level Lambda-calculus

From MaRDI portal
Revision as of 09:35, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4982628

DOI10.1016/j.entcs.2009.07.018zbMath1347.68051OpenAlexW1979665692MaRDI QIDQ4982628

Murdoch James Gabbay

Publication date: 9 April 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.018




Related Items (2)


Uses Software



Cites Work




This page was built for publication: Two-level Lambda-calculus