Navigation – Plan du site

Avant propos sur la théorie constructive des types

Foreword. Special issue: "Type theory"
Michel Bourdeau et Pascal Boldini

Résumés

Foreword. Special issue: "Type theory"

Foreword

Avant propos

Haut de page

Pour citer cet article

Référence électronique

Michel Bourdeau et Pascal Boldini, « Avant propos sur la théorie constructive des types », Mathématiques et sciences humaines [En ligne], 165 | Printemps 2004, mis en ligne le 22 février 2006, consulté le 29 mai 2017. URL : http://msh.revues.org/2942

Haut de page

Auteurs

Pascal Boldini

Articles du même auteur

Michel Bourdeau

Articles du même auteur

Haut de page

Droits d’auteur

© École des hautes études en sciences sociales

Haut de page