Linear Realizability
From MaRDI portal
Publication:3608428
DOI10.1007/978-3-540-74915-8_32zbMath1179.03068OpenAlexW2913601947MaRDI QIDQ3608428
Publication date: 5 March 2009
Published in: Computer Science Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_32
BCK-algebras, BCI-algebras (06F35) Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Semantics of higher-order quantum computation via geometry of interaction, Generalized bounded linear logic and its categorical semantics
