Click and coLLecT An Interactive Linear Logic Prover - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Click and coLLecT An Interactive Linear Logic Prover

Etienne Callies
  • Fonction : Auteur
  • PersonId : 1103350
Laboratoire de l'Informatique du Parallélisme
Preuves et Langages
Olivier Laurent
Laboratoire de l'Informatique du Parallélisme
Preuves et Langages

Résumé

We describe the 'Click and coLLecT' system, an interactive tool for building linear logic proofs online.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
TLLA_2021_paper_4.pdf (212.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Isabelle Gouat  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271501

Soumis le : vendredi 25 juin 2021-18:38:10

Dernière modification le : jeudi 11 mai 2023-11:56:10

Archivage à long terme le : dimanche 26 septembre 2021-22:35:02

Télécharger pour visualiser

Dates et versions

lirmm-03271501 , version 1 (25-06-2021)

Licence

Paternité - Pas d'utilisation commerciale

Identifiants

  • HAL Id : lirmm-03271501 , version 1

Citer

Etienne Callies, Olivier Laurent. Click and coLLecT An Interactive Linear Logic Prover. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271501⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIRMM LABEX-MILYON UDL ANR TLLA2021
173 Consultations
194 Téléchargements

Partager

Gmail Facebook X LinkedIn More