Nondeterministic extensions of untyped \(\lambda\)-calculus

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

Publication:2508325

DOI10.1006/INCO.1995.1145zbMath1096.03502OpenAlexW2025341469MaRDI QIDQ2508325

Adolfo Piperno, Ugo de'Liguoro

Publication date: 10 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1145




Related Items (20)







This page was built for publication: Nondeterministic extensions of untyped \(\lambda\)-calculus