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

Rémi Nollet 1 Alexis Saurin 1, 2 Christine Tasson 1
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique, Inria de Paris
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01825477
Contributor : Rémi Nollet <>
Submitted on : Thursday, June 28, 2018 - 1:01:06 PM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01825477, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

109