A linearization of the Lambda-calculus and consequences

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

Publication:4500177

DOI10.1093/logcom/10.3.411zbMath0953.03014OpenAlexW2002689571MaRDI QIDQ4500177

A. J. Kfoury

Publication date: 4 September 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/2144/1597




Related Items (21)




This page was built for publication: A linearization of the Lambda-calculus and consequences