Normal view MARC view ISBD view

Explicit Substitutions / Martin Abadi ... [et al.]

Co-auteur : Abadi, Martín, AuteurAuteur secondaire : : Curien, Pierre-Louis;Lévy, Jean-Jacques;Cardelli, Luca, 1954-....Publication :Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1990Description : 57 p. : ill. ; 30 cmCollections : Rapports de recherche (Institut National de Recherche en Informatique et en Automatique (France)), 1176Dewey: 004Bibliographie: Bibliogr. : pp. 56-57..Sujet - Nom d'actualité : Lambda-calcul Sujet : LAMBDA CALCUL
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI6810 Sur demande

USA .MAJ:92-12-03

Bibliogr. : pp. 56-57.

Powered by Koha

//]]>