The following pages link to (Q4790386):
Displayed 6 items.
- CoFI (Q14336) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- A formally grounded software specification method (Q2369031) (← links)
- My ADT Shrine (Q2890319) (← links)