Michael P. Fourman

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formal Synthesis

Michael P. Fourman and others (1991) · IV Higher Order Workshop, Banff 1990 · Springer

LAMBDA: Logic and Mathematics Behind Design Automation

Michael P. Fourman and others (1989) · 26th ACM/IEEE Design Automation Conference

Verification using Higher-order Specifications and Transformations

Michael P. Fourman (1986) · Proceedings of the Silicon Design Conference

The Logic of Topoi

Michael P. Fourman (1977) · HANDBOOK OF MATHEMATICAL LOGIC · Elsevier