Normal view MARC view ISBD view

EXTENSION (AN) OF SYSTEM F WITH SUBTYPING. / {L. Cardelli, J. Mitchell, S. Martini, A. Scedrov}

Publication :S.L. : [s.n.], 1991Description : 01 VOL.,42 P. : 26 RF ; 28 CMCollections : SRC Research report, 80Sujet : LAMBDA CALCUL ;Théorie des Types Marque commerciale : POLYMORPHISME ;THEORIE DES CATEGORIES
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI14106 Sur demande

USA .MAJ:92-12-03

Powered by Koha

//]]>