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
Codensity Lifting of Monads and its Dual, Relational Parametricity for Control Considered as a Computational Effect, Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases, Algebras for Parameterised Monads, Relating Computational Effects by ⊤ ⊤-Lifting, A Characterisation of Lambda Definability with Sums Via ⊤ ⊤-Closure Operators