EXTENSION (AN) OF SYSTEM F WITH SUBTYPING. (Record no. 120033)

099 ## - Informations locales
date creation notice (koha) 2009-07-20
date modification notice (koha) 2017-09-19
100 ## - données générales de traitement
données générales de traitement 19980407d1991 k y frey50103
200 1# - titre
Titre propre EXTENSION (AN) OF SYSTEM F WITH SUBTYPING.
Auteur principal {L. Cardelli, J. Mitchell, S. Martini, A. Scedrov}
210 ## - éditeur
Lieu de publication S.L.
Nom de l'éditeur [s.n.]
Date de publication 1991
215 ## - description
Caractéristiques matérielles 01 VOL.,42 P.
Autres caractéristiques 26 RF
Format 28 CM
225 ## - collection
titre de la collection SRC Research report
numéro du volume 80
300 ## - note
texte de la note USA .MAJ:92-12-03
419 ## - collection
titre SRC Research report
610 ## - sujets
sujet LAMBDA CALCUL
616 ## -
-- POLYMORPHISME
616 ## -
-- THEORIE DES CATEGORIES
610 ## - sujets
sujet Théorie des Types
709 ## - Nom de personne
élément d'entrée CARDELLI
partie du nom autre que l'élément d';entrée Luca
709 ## - Nom de personne
élément d'entrée MARTINI
partie du nom autre que l'élément d';entrée S.
709 ## - Nom de personne
élément d'entrée MITCHELL
partie du nom autre que l'élément d';entrée John C.
709 ## - Nom de personne
élément d'entrée SCEDROV
partie du nom autre que l'élément d';entrée A.
909 ## - Type de document
Type de document Congrès
CAT_DOC TR
-- Publication en Série
995 ## - Exemplaires
-- EM AI CI14106
Holdings
Perdu Site d'origine Localisation cote Statut de l'exemplaire Propri
Présent Centre de recherche en informatique Centre de recherche en informatique EM AI CI14106 Sur demande Centre de Recherche en Informatique

Powered by Koha

//]]>