Výsledky vyhledávání - "Semantics of Programming Languages—Denotational semantics General Terms Languages"
-
1
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Lambda calculus and related systems, F.3.2 [Logics and Meanings of Programs, Semantics of Programming Languages—Denotational semantics General Terms Languages, Theory Keywords Denotational Semantics, Domain Theory, Full Abstraction, Nominal Sets, Symmetry
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5978; http://www.cl.cam.ac.uk/~amp12/papers/fullans/fullans.pdf
Nájsť tento článok vo Web of Science