Mathématiques et sciences humaines/Mathematics and social sciences

n° 165, Printemps 2004, spécial La théorie constructive des types

Version imprimable   Signaler cette page  

Avant propos sur la théorie constructive des types

Foreword. Special issue: "Type theory"

Michel Bourdeau et Pascal Boldini

Télécharger le texte intégral (161k)

Résumé

Avant propos

Abstract

Foreword

Index

Pour citer cet article

Michel Bourdeau et Pascal Boldini, « Avant propos sur la théorie constructive des types », Mathématiques et sciences humaines, n° 165, Printemps 2004, spécial La théorie constructive des types, [En ligne], mis en ligne le 22 février 2006. URL : http://msh.revues.org/document2942.html. Consulté le 17 mai 2008.

 
Page générée par Lodel - Nous adhérons à www.revues.org

ISSN : 0987 6936
Ecole des hautes études en sciences sociales