Quantitative Aspects of Linear and Affine Closed Lambda Terms

Pierre Lescanne

doi:10.1145/3173547

Journal articles

Quantitative Aspects of Linear and Affine Closed Lambda Terms

Pierre Lescanne ¹

1 LIP - Laboratoire de l'Informatique du Parallélisme

Document type :

Journal articles

Domain :

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

Computer Science [cs] / Logic in Computer Science [cs.LO]

Mathematics [math] / Combinatorics [math.CO]

Mathematics [math] / Logic [math.LO]

Complete list of metadata

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892358
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 3:29:28 PM
Last modification on : Thursday, November 21, 2019 - 2:29:01 AM

Quantitative Aspects of Linear and Affine Closed Lambda Terms

Identifiers

Collections

Citation

Export

Metrics

83

Quantitative Aspects of Linear and Affine Closed Lambda Terms

Identifiers

Collections

Citation

Export

Share

Metrics

83