Κανονική προβολή Προβολή MARC Προβολή ISBD

High-order operational techniques in semantics Andrew D. Gordon and Andrew M. Pitts eds - Cambridge University Press 1998

Τομέας εφαρμογων και θεμελιώσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων

ISBN: 0 521 63168 8

Subjects--Topical Terms:
ΕΣΑ
Σημασιολογία
PROGRAMMING LANGUAGES