Avant propos sur la théorie constructive des types

Auteurs

Date

22 février 2006

Discipline

Type de document

Périmètre

Langue

Identifiant

Source

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

Organisation

Licences

théorie des types

MSC 03B15 Types, Théorie des

Michel Bourdeau et al., « Avant propos sur la théorie constructive des types », Mathématiques et sciences humaines, ID : 10.4000/msh.2942

Avant propos

Par les mêmes auteurs