Quantitative Aspects of Linear and Affine Closed Lambda Terms

Pierre Lescanne

doi:10.1145/3173547

Article Dans Une Revue ACM Transactions on Computational Logic Année : 2018

Quantitative Aspects of Linear and Affine Closed Lambda Terms

(1)

1

Pierre Lescanne

Fonction : Auteur
PersonId : 7069
IdHAL : pierre-lescanne
ORCID : 0000-0001-9512-5276
IdRef : 034011382

Laboratoire de l'Informatique du Parallélisme

CV

Domaines

Informatique et théorie des jeux [cs.GT] Logique en informatique [cs.LO] Combinatoire [math.CO] Logique [math.LO]

Pierre Lescanne : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-01892358

Soumis le : mercredi 10 octobre 2018-15:29:28

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

Dates et versions

ensl-01892358 , version 1 (10-10-2018)

Identifiants

HAL Id : ensl-01892358 , version 1
ARXIV : 1702.03085
DOI : 10.1145/3173547

Citer

Pierre Lescanne. Quantitative Aspects of Linear and Affine Closed Lambda Terms. ACM Transactions on Computational Logic, 2018, 19 (2), pp.1 - 18. ⟨10.1145/3173547⟩. ⟨ensl-01892358⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INSMI LIP_PLUME UDL

57 Consultations

0 Téléchargements

Quantitative Aspects of Linear and Affine Closed Lambda Terms

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager