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
Autre version
http://www2.unine.ch/philo/page-6990.html
Type de publication
Resource Types::text::journal::journal article