Logo du site
  • English
  • Français
  • Se connecter
Logo du site
  • English
  • Français
  • Se connecter
  1. Accueil
  2. Université de Neuchâtel
  3. Publications
  4. Quelques aspects épistémologiques de la théorie constructive des types
 
  • Details
Options
Vignette d'image

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
https://libra.unine.ch/handle/123456789/8899
Type de publication
journal article
Dossier(s) à télécharger
 main article: Sommaruga-Rosolemos_Giovanni_-_Quelques_aspects_pist_mologiques_de_la_th_orie_constructive_des_types_20131105.pdf (1.1 MB)
google-scholar
Présentation du portailGuide d'utilisationStratégie Open AccessDirective Open Access La recherche à l'UniNE Open Access ORCIDNouveautés

Service information scientifique & bibliothèques
Rue Emile-Argand 11
2000 Neuchâtel
contact.libra@unine.ch

Propulsé par DSpace, DSpace-CRIS & 4Science | v2022.02.00