Lambda terms and maps, formally - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015
Fichier non déposé

Dates et versions

hal-03221915 , version 1 (10-05-2021)

Identifiants

  • HAL Id : hal-03221915 , version 1

Citer

Alain Giorgetti, Catherine Dubois, Noam Zeilberger. Lambda terms and maps, formally. Workshop on Computational Logic and Applications, Mar 2015, Lyon, France. ⟨hal-03221915⟩
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More