The following pages link to Grant Malcolm (Q749195):
Displaying 12 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)
- (Q3823123) (← links)
- (Q3823124) (← links)
- (Q3971279) (← links)
- (Q4217944) (← links)
- Hidden coinduction: behavioural correctness proofs for objects (Q4261314) (← links)
- (Q4346205) (← links)
- Sheaves, Objects, and Distributed Systems (Q4982050) (← links)
