Local validity for circular proofs in linear logic with fixed points: extended version - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2018

Local validity for circular proofs in linear logic with fixed points: extended version

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Rémi Nollet  : Connect in order to contact the contributor

https://hal.science/hal-01825477

Submitted on : Thursday, June 28, 2018-1:01:06 PM

Last modification on : Friday, May 17, 2024-4:10:09 PM

No file

Dates and versions

hal-01825477 , version 1 (28-06-2018)

Licence

Attribution

Identifiers

  • HAL Id : hal-01825477 , version 1

Cite

Rémi Nollet, Alexis Saurin, Christine Tasson. Local validity for circular proofs in linear logic with fixed points: extended version. Computer Science Logic, Sep 2018, Birmingham, United Kingdom. ⟨hal-01825477⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES ANR IRIF
224 View
0 Download

Share

More