scientific article; zbMATH DE number 2172969

zbMath1068.18005MaRDI QIDQ4680357

Paul Blain Levy

Publication date: 1 June 2005

Full work available at URL: https://eudml.org/doc/124940

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

denotational semanticsmonadadjunctioncall-by-valuecall-by-namecall-by-push-value

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50)

Related Items (4)

Call-by-push-value: Decomposing call-by-value and call-by-name ⋮ Infinite trace equivalence ⋮ Global State Considered Helpful ⋮ Enriching an Effect Calculus with Linear Types

This page was built for publication: