Counting Environments and Closures

Pierre Lescanne; Maciej Bendkowski

doi:10.4230/LIPIcs.FSCD.2018.11

Conference papers

Counting Environments and Closures

Pierre Lescanne ¹ Maciej Bendkowski ²

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

2 TCS - Theoretical Computer Science Department [Krakow]

Document type :

Conference papers

Domain :

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-01892406
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 3:47:17 PM
Last modification on : Thursday, November 21, 2019 - 2:24:19 AM

Counting Environments and Closures

Identifiers

Collections

Citation

Export

Metrics

87

Counting Environments and Closures

Identifiers

Collections

Citation

Export

Share

Metrics

87