Výsledky vyhledávání - "Semantics of Programming Languages—Denotational semantics General Terms Languages"

Full Abstraction for Nominal Scott Domains

Autoři: Steffen Lösch Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Steffen Lösch Andrew M. Pitts The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cl.cam.ac.uk/~amp12/papers/fullans/fullans.pdf.

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5978
http://www.cl.cam.ac.uk/~amp12/papers/fullans/fullans.pdf