Normal view MARC view ISBD view

EXTENSIBLE RECORDS WITHOUT SUBSUMPTION. / {R. Harper, B. Pierce}

Publication :S.L. : [s.n.], 1990Description : 01 VOL.,21 P. : 19 RF ; 28 CMCollections : Computer science, CMU-CS-90-102Sujet : LAMBDA CALCUL ;Théorie des Types
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI6821 Sur demande

USA .MAJ:92-12-03

Powered by Koha

//]]>