Recursion over objects of functional type
From MaRDI portal
Publication:2746760
DOI10.1017/S0960129501003346zbMath1116.03306OpenAlexW2042372913MaRDI QIDQ2746760
Pierre Leleu, Joëlle Despeyroux
Publication date: 10 October 2001
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129501003346
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism ⋮ Cut-free Gentzen calculus for multimodal CK
This page was built for publication: Recursion over objects of functional type
