scientific article; zbMATH DE number 1231584

MaRDI QIDQ4222903zbMATH OpenFDO

Authors Hayo Thielecke

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#thielecke

zbMATH Keywords

\(\lambda\)-calculuscontinuation semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Self-adjoint extensions of restrictions
• On the absolutely continuous spectrum of self-adjoint extensions
• Continuations revisited
• Continuity of the spectrum of a field of self-adjoint operators
• Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability
• On the unitary equivalence of absolutely continuous parts of self-adjoint extensions
• SELFADJOINTNESS OF INTEGRAL AND MATRIX OPERATORS
• Automatic continuity of operators commuting with translations
• Continuation semantics for the Lambek-Grishin calculus
• Self‐adjoint approximants

Cited in

(14)

• Equilogical spaces and algebras for a double-power monad
• Classical realizability in the CPS target language
• On the call-by-value CPS transform and its semantics
• Adjunction models for call-by-push-value with stacks
• Dualized simple type theory
• scientific article; zbMATH DE number 3902021 (Why is no real title available?)
• scientific article; zbMATH DE number 1088046 (Why is no real title available?)
• Axiomatics for data refinement in call by value programming languages
• Declarative continuations: an investigation of duality in programming language semantics
• Frames and topological algebras for a double-power monad
• Proof theory in the abstract
• Resource modalities in tensor logic
• Probability monads with submonads of deterministic states
• A generic complete dynamic logic for reasoning about purity and effects

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222903)