Computer Science Logic
From MaRDI portal
Publication:5394571
DOI10.1007/11538363zbMath1136.03307MaRDI QIDQ5394571
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11538363
Related Items
Algebras for Parameterised Monads, Relating Computational Effects by ⊤ ⊤-Lifting, A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators