scientific article; zbMATH DE number 1330443

zbMath0924.68029MaRDI QIDQ4261086

Carsten Führmann

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.

zbMATH Keywords

computational lambda calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (8)

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

This page was built for publication: