The following pages link to Grant Malcolm (Q749195):
Displaying 6 items.
- Data structures and program transformation (Q749197) (← links)
- Do-it-yourself type theory (Q911744) (← links)
- A hidden agenda (Q1575735) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
