Grant Malcolm

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 Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Towards a functional approach to modular ontologies using institutions Studia Logica	2014-06-19	Paper
Sheaves and Structures of Transition Systems Algebra, Meaning, and Computation	2007-09-07	Paper
A hidden Herbrand theorem: Combining the object and logic paradigms The Journal of Logic and Algebraic Programming	2003-02-13	Paper
A hidden agenda Theoretical Computer Science	2000-08-21	Paper
Hidden coinduction: behavioural correctness proofs for objects Mathematical Structures in Computer Science	2000-02-07	Paper
scientific article; zbMATH DE number 1222421 (Why is no real title available?)	1999-11-29	Paper
scientific article; zbMATH DE number 1042220 (Why is no real title available?)	1997-08-03	Paper
scientific article; zbMATH DE number 8790 (Why is no real title available?)	1992-06-25	Paper
Data structures and program transformation Science of Computer Programming	1990-01-01	Paper
Do-it-yourself type theory Formal Aspects of Computing	1989-01-01	Paper
scientific article; zbMATH DE number 4096760 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 4096759 (Why is no real title available?)	1988-01-01	Paper

Research outcomes over time

This page was built for person: Grant Malcolm