scientific article; zbMATH DE number 1088028

zbMATH Open0885.03031MaRDI QIDQ4364375FDOQ4364375

Authors: Luís Caires, Luís Monteiro 

Publication date: 15 April 1998

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (4)

• Proof search on bilateralist judgments over non-deterministic semantics
• Notes towards a semantics for proof-search
• Deep Proof Search in MELL
• Title not available (Why is that?)

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)