Michael P. Fourman

According to our database, Michael P. Fourman authored at least 18 papers between 1985 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Introduction to Computation - Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

Undergraduate Topics in Computer Science, Springer, ISBN: 978-3-030-76907-9, 2021

2016

RemIX: A Distributed Internet Exchange for Remote and Rural Networks.

William Waites, James Sweet, Roger Baig, Peter Buneman, Marwan Fayed, Gordon Hughes, Michael Fourman, Richard Simmons

Proceedings of the 2016 workshop on Global Access to the Internet for All, 2016

Measuring the Broadband Access Divide.

Michael Paul Fourman

Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, 2016

2013

Continuous Truth II: Reflections.

Michael P. Fourman

Proceedings of the Logic, Language, Information, and Computation, 2013

Hitting Buneman Circles.

Michael P. Fourman

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2007

Logics for Action.

Michael P. Fourman

Proceedings of the 3rd Indian International Conference on Artificial Intelligence, 2007

2001

Propositional Reasoning.

Michael P. Fourman

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

1997

Partial Functions in a Total Setting.

Simon Finn, Michael P. Fourman, John Longley

J. Autom. Reason., 1997

1996

Proof and design.

Michael P. Fourman

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

A Proposed Categorical Semantics for ML Modules.

Michael P. Fourman, Hayo Thielecke

Proceedings of the Category Theory and Computer Science, 6th International Conference, 1995

1994

Datatypes in L2.

Nick Chapman, Simon Finn, Michael P. Fourman

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1992

The CAD Tool of the Future.

Michael P. Fourman

Proceedings of the Algorithms, Software, Architecture, 1992

A Proposed Categorial Semantics for Pure ML.

Wesley Phoa, Michael P. Fourman

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

The need for a core method DIALOG - Linking formal proof to the design environment.

Eleanor M. Mayger, M. D. Francis, R. L. Harris, Gerry Musgrave, Michael P. Fourman

Microprocessing and Microprogramming, 1991

Integration of Formal Methods with System Design.

Eleanor M. Mayger, Michael P. Fourman

Proceedings of the VLSI 91, 1991

1988

Proof and synthesis.

Michael P. Fourman, W. J. Palmer, R. M. Zimmer

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988

1985

Compaction of Symbolic Layout Using Genetic Algorithms.

Michael P. Fourman

Proceedings of the 1st International Conference on Genetic Algorithms, 1985

Theories as Categories.

Michael P. Fourman, Steven Vickers

Proceedings of the Category Theory and Computer Programming, 1985