Grant Malcolm
From MaRDI portal
Person:749195
Available identifiers
zbMath Open malcolm.grantMaRDI QIDQ749195
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Sheaves, Objects, and Distributed Systems | 2015-03-23 | Paper |
| Towards a functional approach to modular ontologies using institutions | 2014-06-19 | Paper |
| Sheaves and Structures of Transition Systems | 2007-09-07 | Paper |
| A hidden Herbrand theorem: Combining the object and logic paradigms | 2003-02-13 | Paper |
| A hidden agenda | 2000-08-21 | Paper |
| Hidden coinduction: behavioural correctness proofs for objects | 2000-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217944 | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4346205 | 1997-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3971279 | 1992-06-25 | Paper |
| Data structures and program transformation | 1990-01-01 | Paper |
| Do-it-yourself type theory | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823124 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3823123 | 1988-01-01 | Paper |
Research outcomes over time
This page was built for person: Grant Malcolm
