Matches in SemOpenAlex for { <https://semopenalex.org/work/W327279188> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W327279188 abstract "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 represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. For (c), we also develop an extended first-order typed object calculus, and prove subject reduction. The second part of the thesis concerns recursion principles on datatypes including the untyped lambda calculus as a special case. Freyd showed that in certain domain theoretic categories, locally continuous functors have minimal invariants, which possess a structure that he termed dialgebra. This gives rise to a category of dialgebras and homomorphisms, where the minimal invariants are initial, inducing a powerful recursion scheme (direcursion) on a complete partial order. We identify a problem that appears when we translate (co)iterative functions to direcursion, and as a solution to this problem we develop a recursion scheme (primitive direcursion). This immediately gives a number of examples of direcursive functions, improving on the situation in the literature where only a few examples have appeared. By means of a case study, this line of work is connected to object calculus models." @default.
- W327279188 created "2016-06-24" @default.
- W327279188 creator A5013872260 @default.
- W327279188 date "2008-01-01" @default.
- W327279188 modified "2023-09-27" @default.
- W327279188 title "Computational Soundness and Adequacy for Typed Object Calculus" @default.
- W327279188 cites W1532092775 @default.
- W327279188 cites W1535521146 @default.
- W327279188 cites W1544633123 @default.
- W327279188 cites W1557561422 @default.
- W327279188 cites W1566009901 @default.
- W327279188 cites W1593666219 @default.
- W327279188 cites W1983722383 @default.
- W327279188 cites W1999443804 @default.
- W327279188 cites W2007270285 @default.
- W327279188 cites W2018474310 @default.
- W327279188 cites W2027723207 @default.
- W327279188 cites W2058121495 @default.
- W327279188 cites W2092367588 @default.
- W327279188 cites W2101254143 @default.
- W327279188 cites W2121306658 @default.
- W327279188 cites W2141568518 @default.
- W327279188 cites W2146255646 @default.
- W327279188 cites W2148186468 @default.
- W327279188 cites W2153980583 @default.
- W327279188 cites W2154273644 @default.
- W327279188 cites W2170800927 @default.
- W327279188 cites W2686043342 @default.
- W327279188 cites W622285400 @default.
- W327279188 hasPublicationYear "2008" @default.
- W327279188 type Work @default.
- W327279188 sameAs 327279188 @default.
- W327279188 citedByCount "1" @default.
- W327279188 countsByYear W3272791882015 @default.
- W327279188 crossrefType "journal-article" @default.
- W327279188 hasAuthorship W327279188A5013872260 @default.
- W327279188 hasConcept C118615104 @default.
- W327279188 hasConcept C135790938 @default.
- W327279188 hasConcept C136119220 @default.
- W327279188 hasConcept C154945302 @default.
- W327279188 hasConcept C156325763 @default.
- W327279188 hasConcept C168773036 @default.
- W327279188 hasConcept C184337299 @default.
- W327279188 hasConcept C199343813 @default.
- W327279188 hasConcept C199360897 @default.
- W327279188 hasConcept C202444582 @default.
- W327279188 hasConcept C207648694 @default.
- W327279188 hasConcept C2777686260 @default.
- W327279188 hasConcept C2781238097 @default.
- W327279188 hasConcept C29585364 @default.
- W327279188 hasConcept C33923547 @default.
- W327279188 hasConcept C39920170 @default.
- W327279188 hasConcept C41008148 @default.
- W327279188 hasConcept C71924100 @default.
- W327279188 hasConceptScore W327279188C118615104 @default.
- W327279188 hasConceptScore W327279188C135790938 @default.
- W327279188 hasConceptScore W327279188C136119220 @default.
- W327279188 hasConceptScore W327279188C154945302 @default.
- W327279188 hasConceptScore W327279188C156325763 @default.
- W327279188 hasConceptScore W327279188C168773036 @default.
- W327279188 hasConceptScore W327279188C184337299 @default.
- W327279188 hasConceptScore W327279188C199343813 @default.
- W327279188 hasConceptScore W327279188C199360897 @default.
- W327279188 hasConceptScore W327279188C202444582 @default.
- W327279188 hasConceptScore W327279188C207648694 @default.
- W327279188 hasConceptScore W327279188C2777686260 @default.
- W327279188 hasConceptScore W327279188C2781238097 @default.
- W327279188 hasConceptScore W327279188C29585364 @default.
- W327279188 hasConceptScore W327279188C33923547 @default.
- W327279188 hasConceptScore W327279188C39920170 @default.
- W327279188 hasConceptScore W327279188C41008148 @default.
- W327279188 hasConceptScore W327279188C71924100 @default.
- W327279188 hasLocation W3272791881 @default.
- W327279188 hasOpenAccess W327279188 @default.
- W327279188 hasPrimaryLocation W3272791881 @default.
- W327279188 hasRelatedWork W1481783499 @default.
- W327279188 hasRelatedWork W1556311577 @default.
- W327279188 hasRelatedWork W1576603639 @default.
- W327279188 hasRelatedWork W1626042158 @default.
- W327279188 hasRelatedWork W1668029505 @default.
- W327279188 hasRelatedWork W1692052839 @default.
- W327279188 hasRelatedWork W1795577518 @default.
- W327279188 hasRelatedWork W2017076981 @default.
- W327279188 hasRelatedWork W2071042586 @default.
- W327279188 hasRelatedWork W2114009375 @default.
- W327279188 hasRelatedWork W2127137842 @default.
- W327279188 hasRelatedWork W2499316355 @default.
- W327279188 hasRelatedWork W2753543077 @default.
- W327279188 hasRelatedWork W2900036118 @default.
- W327279188 hasRelatedWork W2951265876 @default.
- W327279188 hasRelatedWork W2957545921 @default.
- W327279188 hasRelatedWork W2963424697 @default.
- W327279188 hasRelatedWork W2997902268 @default.
- W327279188 hasRelatedWork W3042468750 @default.
- W327279188 hasRelatedWork W3209492269 @default.
- W327279188 isParatext "false" @default.
- W327279188 isRetracted "false" @default.
- W327279188 magId "327279188" @default.
- W327279188 workType "article" @default.