Concurrent realizabil- ity on conjunctive structures

Emmanuel Beffara, F´ elix Castro, Mauricio Guillermo, a nd ´Etienne Miquey · 2023 · DOI 10.4230/lipics.fscd.2023.28

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.LO · 2024-11-26 · conditional · novelty 6.0

A cut-elimination based realisability model over proof nets is adequate and complete for MLL and MLL*.

Showing 1 of 1 citing paper.

Linear Realisability over nets: multiplicatives (long version) cs.LO · 2024-11-26 · conditional · none · ref 3
A cut-elimination based realisability model over proof nets is adequate and complete for MLL and MLL*.