Follow
Michael Fourman
Michael Fourman
School of Informatics, The University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
Sheaves and Logic
MP Fourman, DS Scott
Applications of Sheaves, Durham 1977, 1974
462*1974
Compaction of symbolic layout using genetic algorithms
MP Fourman
Genetic Algorithms and Their Applications: Proc. 1st Int. Conf. Genetic …, 1985
4241985
The logic of topoi
MP Fourman
The Handbook of Mathematical Logic, Studies in Logic and the Foundations of …, 1977
1541977
Formal spaces
MP Fourman, RJ Grayson
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held …, 1982
132*1982
Sheaf models for analysis
MP Fourman, JME Hyland
Applications of Sheaves, Durham 1977 753, 280-301, 1979
1281979
Applications of Sheaves
MP Fourman, C Mulvey, DS Scott
Proceedings of the Research Symposium on Applications of Sheaf Theory to …, 1979
107*1979
Sheaf models for set theory
MP Fourman
Journal of Pure and Applied Algebra 19, 91-101, 1980
801980
Formal system design—interactive synthesis based on computer-assisted formal reasoning
S Finn, MP Fourman, M Francis, R Harris
IMEC-IFIP international workshop on applied formal methods for correct VLSI …, 1989
741989
Informatics
MP Fourman
International Encyclopaedia of Information and Library Science. Routledge, 2002
562002
Propositional planning
MP Fourman
Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 10-17, 2000
532000
Integration of formal methods with system design
EM Mayger, MP Fourman
VLSI, 59-69, 1991
371991
Formally based system design-interactive hardware scheduling
MP Fourman
Proc. of VLSI89, 101-112, 1989
371989
Partial functions in a total setting
S Finn, MP Fourman, J Longley
Journal of Automated Reasoning 18 (1), 85-104, 1997
291997
The “world's simplest axiom of choice” fails
MP Fourman, A Ščedrov
Manuscripta mathematica 38 (3), 325-332, 1982
241982
Notions of choice sequence
MP Fourman
Studies in Logic and the Foundations of Mathematics 110, 91-105, 1982
231982
Continuous truth i non-constructive objects
MP Fourman
Studies in Logic and the Foundations of Mathematics 112, 161-180, 1984
221984
Connections Between Category Theory and Logic.
MP Fourman
University of Oxford, 1974
211974
Proof and synthesis
MP Fourman, WJ Palmer, RM Zimmer
Proceedings 1988 IEEE International Conference on Computer Design: VLSI, 600 …, 1988
191988
Formal system design
MP Fourman
IEE Colloquium on High Level Modelling and Design for ASICs, 9/1-9/3, 1989
161989
Theories as categories
MP Fourman
Category theory and computer programming, 434-448, 1986
151986
The system can't perform the operation now. Try again later.
Articles 1–20