Semantics of linear/modal lambda calculus
From MaRDI portal
Publication:4934238
DOI10.1017/S0956796899003433zbMath0965.68011OpenAlexW2103773922MaRDI QIDQ4934238
Publication date: 15 July 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796899003433
Related Items
Structural recursion as a query language on lists and ordered trees ⋮ Safe recursion with higher types and BCK-algebra
