Publication:4680357
From MaRDI portal
zbMath1068.18005MaRDI QIDQ4680357
Publication date: 1 June 2005
Full work available at URL: https://eudml.org/doc/124940
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50)
Related Items
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