scientific article; zbMATH DE number 1231584
From MaRDI portal
Publication:4222903
zbMath0911.68113MaRDI QIDQ4222903
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#thielecke
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Unnamed Item ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Resource modalities in tensor logic ⋮ Dualized Simple Type Theory ⋮ Classical realizability in the CPS target language ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ Proof theory in the abstract ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages