scientific article; zbMATH DE number 742723

zbMath0816.68082MaRDI QIDQ4327833

Eugenio Moggi

Publication date: 9 April 1995

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

zbMATH Keywords

higher order logicHorn sequentsinternal semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items

Unnamed Item ⋮ The S-replete construction ⋮ Cartesian effect categories are Freyd-categories ⋮ Notions of computation as monoids ⋮ A generic complete dynamic logic for reasoning about purity and effects ⋮ HasCasl: integrated higher-order specification and program development ⋮ Weakest preconditions in fibrations