La théorie constructive des types

Fiche du document

Auteurs
Date

22 février 2006

Discipline
Types de document
Périmètre
Langue
Identifiant
Source

Mathématiques et sciences humaines

Relations

Ce document est lié à :
info:eu-repo/semantics/reference/issn/0987-6936

Ce document est lié à :
info:eu-repo/semantics/reference/issn/1950-6821

Collection

OpenEdition Journals

Organisation

OpenEdition

Licences

All rights reserved , info:eu-repo/semantics/openAccess

Citer ce document

Pascal Boldini et al., « La théorie constructive des types », Mathématiques et sciences humaines, ID : 10.4000/msh.200

Métriques

Partage / Export

document thumbnail

Par les mêmes auteurs

Sur les mêmes disciplines

Exporter en