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
Communication Dans Un Congrès Année : 2018

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

Domaines

Informatique [cs] Logique en informatique [cs.LO]

Rémi Nollet  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01825477

Soumis le : jeudi 28 juin 2018-13:01:06

Dernière modification le : vendredi 8 novembre 2024-15:20:05

Fichier non déposé

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-01825477 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 CNRS INRIA INRIA2 USPC UP-SCIENCES ANR IRIF
235 Consultations
0 Téléchargements

Partager

More