Continuation Semantics and Self-adjointness
نویسندگان
چکیده
منابع مشابه
Continuation semantics and self-adjointness
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in Standard ML of New Jersey) as primitive. This constructor on types extends to a contravariant functor on terms which is adjoint to itself on the left; restricted to the subcategory of those programs that do not manipulate the current continuation, it is adjoint to its...
متن کاملEssential self - adjointness
1. Cautionary example 2. Criterion for essential self-adjointness 3. Examples of essentially self-adjoint operators 4. Appendix: Friedrichs' canonical self-adjoint extensions 5. The following has been well understood for 70-120 years, or longer, naturally not in contemporary terminology. The differential operator T = d 2 dx 2 on L 2 [a, b] or L 2 (R) is a prototypical natural unbounded operator...
متن کاملSDRT and Continuation Semantics
Segmented Discourse Representation Theory (SDRT) [2, 7] provides a dynamic semantics for discourse that exploits a rich notion of discourse structure. According to SDRT, a text is segmented into constituents related to each other by means of rhetorical relations; the resulting structure, known as a segmented discourse representation structure or SDRS has various semantic effects. This theory ha...
متن کاملContinuation Semantics for Concurrency
This paper presents a continuation semantics satisfying the basic laws of concurrent systems. This semantics is illustrated for a simple CSP-like language extended with communication on multiple channels and synchronization based on join patterns, which also provides operators for nondeterministic choice, sequential and parallel composition. For the language under investigation we present a den...
متن کاملSelf-adjointness via Partial Hardy-like Inequalities
Distinguished selfadjoint extensions of operators which are not semibounded can be deduced from the positivity of the Schur Complement (as a quadratic form). In practical applications this amounts to proving a Hardy-like inequality. Particular cases are Dirac-Coulomb operators where distinguished selfadjoint extensions are obtained for the optimal range of coupling constants.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1997
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80149-5