A model of intuitionistic affine logic from stable domain theory
From MaRDI portal
Publication:4632438
DOI10.1007/3-540-58201-0_80zbMath1422.03134OpenAlexW2165368206MaRDI QIDQ4632438
Publication date: 29 April 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58201-0_80
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work