A Natural Counting of Lambda Terms - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

A Natural Counting of Lambda Terms

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV
Maciej Bendkowski
  • Fonction : Auteur
  • PersonId : 966909
Theoretical Computer Science Department [Krakow]
Katarzyna Grygiel
  • Fonction : Auteur
  • PersonId : 859238
Theoretical Computer Science Department [Krakow]
Marek Zaionc
  • Fonction : Auteur
  • PersonId : 859240
Theoretical Computer Science Department [Krakow]

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-01892447

Soumis le : mercredi 10 octobre 2018-16:11:59

Dernière modification le : vendredi 5 avril 2024-09:25:53

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : ensl-01892447 , version 1

Citer

Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. A Natural Counting of Lambda Terms. SOFSEM 2016, Jan 2016, Harrachov, Czech Republic. ⟨ensl-01892447⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME UDL
69 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More