Communication Dans Un Congrès
Année : 1998
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01622288
Soumis le : mardi 24 octobre 2017-11:49:09
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01622288 , version 1
Citer
Bruno Pagano. An explicit natural deduction. Workshop on Explicit substitutions : Theory and Applications to Programs and Proofs, Mar 1998, Tsukuba, Japan. ⟨hal-01622288⟩
Collections
39
Consultations
0
Téléchargements