scientific article; zbMATH DE number 1088028

MaRDI QIDQ4364375zbMATH OpenFDO

Authors Luís Caires, Luís Monteiro

Publication date 15 April 1998

zbMATH Keywords

semanticsproof netspartial order semanticsoperational equivalenceinteraction of agentslinear logic-based languageproof-search computation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Structure of proofs (03F07) Semantics in the theory of computing (68Q55)

Recommendations

• Proof-search and proof nets in mixed linear logic
• Notes towards a semantics for proof-search
• Publication:4896506
• Coherent models of proof nets

Cited in

(4)

• Proof search on bilateralist judgments over non-deterministic semantics
• Notes towards a semantics for proof-search
• Deep Proof Search in MELL
• scientific article; zbMATH DE number 1759674 (Why is no real title available?)

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 Q4364375)