Lambda terms and maps, formally
DISC Femto-st : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03221915
Soumis le : lundi 10 mai 2021-08:47:26
Dernière modification le : mardi 9 avril 2024-17:14:32
Dates et versions
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⟩
Collections
26
Consultations
0
Téléchargements