Recommendations
Cites work
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- scientific article; zbMATH DE number 2134910 (Why is no real title available?)
- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- scientific article; zbMATH DE number 7491972 (Why is no real title available?)
- Asynchronous games 3 an innocent model of linear logic
- Lectures on the Curry-Howard isomorphism
- Linear logic
- Logic Programming with Focusing Proofs in Linear Logic
- Specifying coalgebras with modal logic
- Towards the knowledge in coalgebraic model of IDS
Cited in
(5)- scientific article; zbMATH DE number 786485 (Why is no real title available?)
- Linear Logic and Exceptions
- Between syntax and semantics of resource oriented logic for IDS behavior description
- Linear logic as a logic of computations
- scientific article; zbMATH DE number 2120362 (Why is no real title available?)
This page was built for publication: Linear logic in computer science
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2201109)