Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus

In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be rep...

Full description

Bibliographic Details
Main Author: Glimming, Johan
Format: Doctoral Thesis
Language:English
Published: Stockholms universitet, Numerisk analys och datalogi (NADA), (tills m KTH) 2007
Subjects:
denotational semantics
axiomatic domain theory
coalgebra
primitive (co)recursion
object-based programming
typed object calculus
Computer science
Datavetenskap
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-7208
http://nbn-resolving.de/urn:isbn:978-91-7155-550-2

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-7208
http://nbn-resolving.de/urn:isbn:978-91-7155-550-2

Similar Items