An explicit natural deduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

An explicit natural deduction

Bruno Pagano
  • Fonction : Auteur
  • PersonId : 970267
Fichier non déposé

Dates et versions

hal-01622288 , version 1 (24-10-2017)

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⟩
39 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More