An Infinitary Model of Linear Logic

DOI10.1007/978-3-662-46678-0_3zbMath1459.03025arXiv1411.4380OpenAlexW1576144657MaRDI QIDQ2948550

Paul-André Melliès, Charles Grellois

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.4380

zbMATH Keywords

relational semanticslinear logicfixpoint operatorsparity conditionsinduction and coinductionhigher-order model-checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Finitary Semantics of Linear Logic and Higher-Order Model-Checking ⋮ Generalized bounded linear logic and its categorical semantics ⋮ Domains for Higher-Order Games

This page was built for publication: An Infinitary Model of Linear Logic