Some Advances in Linear Logic - Archive ouverte HAL
Hdr Année : 2013
Fichier non déposé

Dates et versions

tel-04670301 , version 1 (12-08-2024)

Identifiants

  • HAL Id : tel-04670301 , version 1

Citer

Michele Pagani. Some Advances in Linear Logic. Logic in Computer Science [cs.LO]. Université Paris Nord (Paris 13), 2013. ⟨tel-04670301⟩
19 Consultations
0 Téléchargements

Partager

More