Options
Quelques aspects épistémologiques de la théorie constructive des types
Auteur(s)
Sommaruga-Rosolemos, Giovanni
Date de parution
1997
In
Travaux de logique, Universités de Neuchâtel et Rennes, 1997/11//273-288
Identifiants
Type de publication
journal article
