Grant Malcolm
From MaRDI portal
Person:749195
Available identifiers
zbMath Open malcolm.grantMaRDI QIDQ749195
List of research outcomes
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/Q3823123 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3823124 | 1988-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Grant Malcolm