Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : microforme
Auteur(s) : Lafont, Yves (1961-....)
Titre(s) : Logiques, catégories et machines [Microforme] : implantation de langages de programmation guidée par la logique catégorique / Yves Lafont
Publication : Grenoble 2 : ANRT, 1988
Description matérielle : 1 microfiche ; 105 x 148 mm
Note(s) : Th. : Inform. : Paris 7 : 1988
Identifiant de la notice : ark:/12148/cb37614866p
Notice n° :
FRBNF37614866