scientific article; zbMATH DE number 1318513

MaRDI QIDQ4256645zbMATH OpenFDO

Authors Samson Abramsky, Radha Jagadeesan

Publication date 8 August 1999

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited in

(8)

• Finite games for a predicate logic without contractions
• Petri nets, Horn programs, linear logic and vector games
• Understanding game semantics through coherence spaces
• A Graphical Foundation for Schedules
• A graphical foundation for interleaving in game semantics
• A tale of additives and concurrency in game semantics
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• On maximal stable functions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256645)