Local validity for circular proofs in linear logic with fixed points: extended version - Archive ouverte HAL Access content directly
Conference Papers Year : 2018
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⟩
214 View
0 Download

Share

Gmail Facebook X LinkedIn More