scientific article; zbMATH DE number 1330443
From MaRDI portal
Publication:4261086
zbMath0924.68029MaRDI QIDQ4261086
Publication date: 21 September 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=20#20016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the call-by-value CPS transform and its semantics ⋮ Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Representable Markov categories and comparison of statistical experiments in categorical probability ⋮ An equational notion of lifting monad ⋮ Restriction categories II: Partial map classification ⋮ Completeness of continuation models for \(\lambda_\mu\)-calculus ⋮ Gradual type theory
