Quelques aspects épistémologiques de la théorie constructive des types

Author(s)
Sommaruga-Rosolemos, Giovanni
Date issued
1997
In
Travaux de logique, Universités de Neuchâtel et Rennes, 1997/11//273-288
Publication type
journal article
Identifiers
https://libra.unine.ch/handle/20.500.14713/59197
File(s)
Loading...
Thumbnail Image
Download
Name

Sommaruga-Rosolemos_Giovanni_-_Quelques_aspects_pist_mologiques_de_la_th_orie_constructive_des_types_20131105.pdf

Type

Main Article

Size

1.1 MB

Format

Adobe PDF