Publication:4263861
From MaRDI portal
zbMath0931.03046MaRDI QIDQ4263861
Publication date: 28 February 2000
linear logic; morphisms; cartesian closed category; normal form theorem; comonad; qualitative domains; coherence space semantics; co-Kleisli category; multicliques
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items