The differential \(\lambda \mu\)-calculus

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

Publication:2373711

DOI10.1016/J.TCS.2007.02.028zbMath1121.03026OpenAlexW2148814023MaRDI QIDQ2373711

Lionel Vaux

Publication date: 16 July 2007

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.02.028




Related Items (9)




Cites Work




This page was built for publication: The differential \(\lambda \mu\)-calculus