Relational model of second order linear logic
From MaRDI portal
Publication:1598468
DOI10.1016/S1631-073X(02)02229-XzbMath0995.03029MaRDI QIDQ1598468
Publication date: 2002
Published in: Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03C85: Second- and higher-order model theory
Related Items
Cites Work