 |
 |
 |
 |
Conference papers
A Natural Counting of Lambda Terms
Pierre Lescanne 1
Author IdHAL : pierre-lescanne ORCID : https://orcid.org/0000-0001-9512-5276
Maciej Bendkowski 2
Author Employer institution : Uniwersytet Jagielloński w Krakowie = Jagiellonian University
Katarzyna Grygiel 2
Author
Marek Zaionc 2
Author
1
LIP - Laboratoire de l'Informatique du Parallélisme (46 Allée d'Italie 69364 LYON CEDEX 07 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5668 / URA1398 (France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UCBL - Université Claude Bernard Lyon 1 (43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex - France)
- Université de Lyon (92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 - France)
- ENS Lyon - École normale supérieure - Lyon (15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07 - France)
2
TCS - Theoretical Computer Science Department [Krakow] (Faculty of Mathematics and Computer Science, ul. Prof. Lojasiewicza 6, 30-348 Krakow, Poland - Poland)
- UJ - Uniwersytet Jagielloński w Krakowie = Jagiellonian University (ul. Gołębia 24, 31-007 Kraków - Poland)
Document type :
Conference papers
Complete list of metadata
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892447
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2018 - 4:11:59 PM
Last modification on : Tuesday, December 7, 2021 - 3:33:15 PM
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2018 - 4:11:59 PM
Last modification on : Tuesday, December 7, 2021 - 3:33:15 PM
Identifiers
- HAL Id : ensl-01892447, version 1
Citation
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. A Natural Counting of Lambda Terms. SOFSEM 2016, Jan 2016, Harrachov, Czech Republic. ⟨ensl-01892447⟩
Metrics
Les métriques sont temporairement indisponibles