scientific article
From MaRDI portal
Publication:3024884
zbMath1063.03503MaRDI QIDQ3024884
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Some Domain Theory and Denotational Semantics in Coq ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Fixpoints and Search in PVS ⋮ HasCasl: integrated higher-order specification and program development ⋮ Using Structural Recursion for Corecursion
Uses Software
This page was built for publication: