The following pages link to (Q3024884):
Displaying 8 items.
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Some Domain Theory and Denotational Semantics in Coq (Q3183523) (← links)
- Fixpoints and Search in PVS (Q3558967) (← links)
- Using Structural Recursion for Corecursion (Q3638255) (← links)
- Using lattice theory in higher order logic (Q6567722) (← links)
- Winskel is (almost) right. Towards a mechanized semantics textbook (Q6567767) (← links)
