- Michael P. Fourman. Logics for action. In
*Proceedings of the 3rd Indian International Conference on Artificial Intelligence IICAI*, pages 1223-1237, Pune, India, December 2007. EDI-INF-RR-1153.

@INPROCEEDINGS{fourman07b, AUTHOR = {Michael P. Fourman}, TITLE = {Logics for Action}, BOOKTITLE = {Proceedings of the 3rd Indian International Conference on Artificial Intelligence {IICAI}}, PAGES = {1223-1237}, YEAR = {2007}, ADDRESS = {Pune, India}, URL = {http://www.inf.ed.ac.uk/publications/report/1153.html}, MONTH = {December}, NOTE = {EDI-INF-RR-1153} }

- Michael P. Fourman. Categorical perspectives. In
*14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)*, Yerevan, Armenia, October 2007. EDI-INF-RR-1172.

@INPROCEEDINGS{fourman07c, AUTHOR = {Michael P. Fourman}, TITLE = {Categorical Perspectives}, YEAR = {2007}, BOOKTITLE = {14th International Conference on Logic for Programming Artificial Intelligence and Reasoning ({LPAR})}, ADDRESS = {Yerevan, Armenia}, MONTH = {October}, URL = {http://www.inf.ed.ac.uk/publications/report/1172.html}, NOTE = {EDI-INF-RR-1172} }

- Michael P. Fourman. Local perspectives on action. In Johan
van Benthem, Shier Ju, and Frank Veltman, editors,
*A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction*, pages 145-157, Beijing, August 2007. College Publications, London. EDI-INF-RR-1138.

@INPROCEEDINGS{fourman07a, AUTHOR = {Michael P. Fourman}, TITLE = {Local Perspectives on Action}, BOOKTITLE = {A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction}, EDITOR = {van Benthem, Johan and Shier Ju and Frank Veltman }, ADDRESS = {Beijing}, MONTH = {August}, YEAR = {2007}, PUBLISHER = {College Publications, London}, ISBN = {978-1-904987-48-2}, URL = {http://www.inf.ed.ac.uk/publications/report/1138.html}, NOTE = {EDI-INF-RR-1138}, PAGES = {145-157} }

- Michael P. Fourman. informatics. In John Feather and Paul
Sturges, editors,
*International Encyclopedia of Information and Library Science (second edition)*. Routledge, 2002. Available as EDI-INF-RR-0139.

@INCOLLECTION{fourman02, AUTHOR = {Michael P. Fourman}, TITLE = {informatics}, BOOKTITLE = {International Encyclopedia of Information and Library Science (second edition)}, PUBLISHER = {Routledge}, YEAR = {2002}, EDITOR = {John Feather and Paul Sturges}, ISBN = {01315259010}, URL = {http://www.inf.ed.ac.uk/publications/report/0139.html}, NOTE = {Available as EDI-INF-RR-0139} }

- Michael P. Fourman. Propositional reasoning. In Tiziana
Margaria and Wang Yi, editors,
*Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings*, volume 2031 of*Lecture Notes in Computer Science*, page 23. Springer, June 2001. Abstract of Invited Lecture.

@INPROCEEDINGS{fourman01, AUTHOR = {Michael P. Fourman}, TITLE = {Propositional Reasoning}, EDITOR = {Tiziana Margaria and Wang Yi}, BOOKTITLE = {Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings}, PUBLISHER = {Springer}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {2031}, YEAR = {2001}, MONTH = {June}, ISBN = {3-540-41865-2}, BIBSOURCE = {DBLP, http://dblp.uni-trier.de}, NOTE = {Abstract of Invited Lecture}, PAGES = {23} }

- Michael P. Fourman. Propplan. Source code published
online, together with documentation and web interface to examples
and working PropPlan system, March 2001.

@MISC{propplan-01, AUTHOR = {Michael P. Fourman}, TITLE = {PropPlan}, HOWPUBLISHED = {Source code published online, together with documentation and web interface to examples and working PropPlan system}, MONTH = {March}, YEAR = {2001}, URL = {http://homepages.inf.ed.ac.uk/mfourman/tools/propplan/}, ANNOTE = {} }

- Michael P. Fourman. Propositional planning. In
*Workshop on Model-Theoretic Aproaches to Planning, AIPS 2000*, April 2000. EDI-INF-RR-0034`http://www.inf.ed.ac.uk/publications/report/0034.html`.

@INPROCEEDINGS{fourman00, AUTHOR = {Michael P. Fourman}, TITLE = {Propositional Planning}, BOOKTITLE = {Workshop on Model-Theoretic Aproaches to Planning, AIPS 2000}, YEAR = {2000}, MONTH = {April}, PAGE = {10--17}, NOTE = {EDI-INF-RR-0034 \texttt{http://www.inf.ed.ac.uk/publications/report/0034.html}}, URL = {http://www.inf.ed.ac.uk/publications/report/0034.html} }

- Simon Finn, Michael P. Fourman, and John Longley. Partial
functions in a total setting.
*J. Automated Reasoning*, 18(1):85-104, 1997. Zbl. 0870.68136.

@ARTICLE{fourman96b, AUTHOR = {Simon Finn and Michael P. Fourman and John Longley}, TITLE = {Partial Functions in a Total Setting}, JOURNAL = {J. Automated Reasoning}, YEAR = {1997}, VOLUME = {18}, NOTE = {Zbl. 0870.68136}, NUMBER = {1}, URL = {http://www.lfcs.inf.ed.ac.uk/reports/96/ECS-LFCS-96-341/index.html}, PAGES = {85-104} }

- Michael P. Fourman. Proof and design. In Manfred Broy,
editor,
*Deductive Program Design*, volume 152 of*NATO Advanced Science Institute, Series F: Computer and System Sciences*, pages 397-439. Springer, Marktoberdorf Germany, July 1996. Proceedings of the NATO Advanced Study Institute on Deductive Program Design, also available as LFCS report ECS-LFCS-95-319.

@INCOLLECTION{fourman96a, AUTHOR = {Michael P. Fourman}, TITLE = {Proof and design}, BOOKTITLE = {Deductive Program Design}, PAGES = {397-439}, PUBLISHER = {Springer}, YEAR = {1996}, EDITOR = {Manfred Broy}, VOLUME = {152}, SERIES = {NATO Advanced Science Institute, Series F: Computer and System Sciences}, ADDRESS = {Marktoberdorf Germany}, MONTH = {July}, URL = {http://www.lfcs.inf.ed.ac.uk/reports/95/ECS-LFCS-95-319/index.html}, NOTE = {Proceedings of the NATO Advanced Study Institute on Deductive Program Design, also available as LFCS report ECS-LFCS-95-319} }

- Michael P. Fourman. Book review.
*J. Functional Programming*, 6(1):189-193, 1996. Three books on ML.

@ARTICLE{fourman96c, AUTHOR = {Michael P. Fourman}, TITLE = {Book Review}, JOURNAL = {J. Functional Programming}, VOLUME = {6}, NUMBER = {1}, YEAR = {1996}, PAGES = {189--193}, NOTE = {Three books on {ML}} }

- Nick Chapman, Simon Finn, and Michael Fourman. Reasoning about
VHDL. In Carlos Delgado-Kloos and Werner Damm, editors,
*Practical Formal Methods for Hardware Design*, volume 1 of*Research Reports Esprit*. Springer, 1996. Project 6128, FORMAT.

@INCOLLECTION{fourman96d, AUTHOR = {Nick Chapman and Simon Finn and Michael Fourman}, EDITOR = {Carlos Delgado-Kloos and Werner Damm}, TITLE = {Reasoning about {VHDL}}, BOOKTITLE = {Practical Formal Methods for Hardware Design}, PUBLISHER = {Springer}, YEAR = {1996}, VOLUME = {1}, SERIES = {Research Reports Esprit}, NOTE = {Project 6128, FORMAT}, ISBN = {3-540-62007-9 } }

- Michael P. Fourman and Hayo Thieleke. A proposed
categorical semantics for ML modules. In David Pitt, David E.
Rydeheard, and Peter Johnstone, editors,
*Category Theory and Computer Science*, volume 953/1995 of*Lecture Notes in Computer Science*, pages 240-252. Springer Berlin / Heidelberg, 1995.

@INPROCEEDINGS{fourman95, AUTHOR = {Michael P. Fourman and Hayo Thieleke}, TITLE = {A Proposed Categorical Semantics for {ML} Modules}, BOOKTITLE = {Category Theory and Computer Science}, EDITOR = {David Pitt and David E. Rydeheard and Peter Johnstone}, YEAR = {1995}, PUBLISHER = {Springer Berlin / Heidelberg}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {953/1995}, PAGES = {240--252}, ISBN = {3-540-60164-3}, DOI = {10.1007/3-540-60164-3_30}, ISSN = {0302-9743 (Print) 1611-3349 (Online)} }

- N. Chapman, S. Finn, and Michael P. Fourman.
Datatypes in L2. In T.F. Melham and J. Camillieri, editors,
*Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings*, pages 128-43, Valetta, Malta, September 1994. Springer-Verlag; Berlin, Germany. Invited Paper.

@INPROCEEDINGS{chapman95, AUTHOR = {N. Chapman and S. Finn and Michael P. Fourman}, TITLE = {Datatypes in {L2}}, BOOKTITLE = {Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings}, YEAR = {1994}, EDITOR = {T.F. Melham and J. Camillieri}, PUBLISHER = {Springer-Verlag; Berlin, Germany}, ADDRESS = {Valetta, Malta}, MONTH = {September}, PAGES = {128--43}, NOTE = {Invited Paper} }

- S. Finn and M. Fourman. The LAMBDA logic. abstract
hardware limited, september 1993. in lambda 4.3 reference manuals.,
1993.

@MISC{finn93abstract, AUTHOR = {S. Finn and M. Fourman}, TITLE = {The {LAMBDA} Logic. Abstract Hardware Limited, September 1993. In LAMBDA 4.3 Reference Manuals.}, YEAR = {1993} }

- Michael P. Fourman. Formal design. In Jørgen Staunstrup,
editor,
*Formal Design Methods for VLSI*. North-Holland, 1992.

@INPROCEEDINGS{fourman92b, AUTHOR = {Michael P. Fourman}, TITLE = {Formal Design}, BOOKTITLE = {Formal Design Methods for {VLSI}}, EDITOR = {J{\o}rgen Staunstrup}, PUBLISHER = {North-Holland}, YEAR = {1992} }

- Wesley Phoa and Michael Fourman. A proposed categorical
semantics for pure ML. In W. Kuich, editor,
*ICALP '92 International Colloquium on Automata, Languages, and Programming, Wien Austria*, Springer LNCS, pages 533-544. Springer-Verlag, 1992. LFCS report ECS-LFCS-92-213.

@INPROCEEDINGS{phoa92, AUTHOR = {Wesley Phoa and Michael Fourman}, TITLE = {A proposed categorical semantics for Pure {ML}}, BOOKTITLE = {{ICALP} '92 International Colloquium on Automata, Languages, and Programming, Wien Austria}, YEAR = {1992}, PUBLISHER = {Springer-Verlag}, EDITOR = {W. Kuich}, SERIES = {Springer {LNCS}}, PAGES = {533--544}, DOI = {10.1007/3-540-55719-9_102}, URL = {http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-213/index.html}, NOTE = {LFCS report ECS-LFCS-92-213} }

- Michael P. Fourman. The CAD tool of the future. In
J. van Leeuwen, editor,
*Information Processing 92*. Elsevier, 1992. discussion paper.

@INPROCEEDINGS{fourman92c, AUTHOR = {Michael P. Fourman}, TITLE = {The {CAD} tool of the future}, EDITOR = {J. van Leeuwen}, BOOKTITLE = {Information Processing 92}, YEAR = {1992}, PUBLISHER = {Elsevier}, NOTE = {discussion paper} }

- E.M. Mayger and Michael P. Fourman. Integration of formal
methods with system design. In A. Halaas and P.B. Denyer,
editors,
*IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration*, Edinburgh, Scotland, August 1991. Elsevier.

@INPROCEEDINGS{mayger91, AUTHOR = {E.M. Mayger and Michael P. Fourman}, TITLE = {Integration of Formal Methods with System Design}, BOOKTITLE = {{IFIP TC 10/WG} 10.5 International Conference on Very Large Scale Integration}, YEAR = {1991}, EDITOR = {A. Halaas and P.B. Denyer}, ADDRESS = {Edinburgh, Scotland}, PUBLISHER = {Elsevier}, MONTH = {August} }

- Michael P. Fourman and R. Hexsel. Formal synthesis.
In Graham Birtwistle, editor,
*IV Higher Order Workshop, Banff 1990*, pages 245-264. Springer-Verlag, 1991.

@INPROCEEDINGS{fourman91, AUTHOR = {Michael P. Fourman and R. Hexsel}, TITLE = {Formal Synthesis}, BOOKTITLE = {IV Higher Order Workshop, Banff 1990}, YEAR = {1991}, EDITOR = {Graham Birtwistle}, PUBLISHER = {Springer-Verlag}, PAGES = {245--264} }

- Michael P. Fourman. Formal system design. In Jørgen
Staunstrup, editor,
*Formal Methods for VLSI Design*, pages 191-236. North-Holland, 1990.

@INPROCEEDINGS{fourman90, AUTHOR = {Michael P. Fourman}, TITLE = {Formal System Design}, BOOKTITLE = {Formal Methods for {VLSI} Design}, YEAR = {1990}, EDITOR = {J{\o}rgen Staunstrup}, PUBLISHER = {North-Holland}, PAGES = {191--236} }

- S. Finn and Michael P. Fourman. Logic manual for the
LAMBDA system, 1990.

@MISC{finn90logic, AUTHOR = {S. Finn and Michael P. Fourman}, TITLE = {Logic Manual for the {LAMBDA} System}, TEXT = {Simon Finn and Michael P. Fourman. Logic Manual for the LAMBDA System 3.2. Abstract Hardware Ltd., November 1990.}, YEAR = {1990} }

- S. Finn, M. Fourman, M. Francis, and
R. Harris. Formal system design-interactive synthesis based on
computer-assisted formal reasoning. In Luc Claesen, editor,
*IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Volume 1*, pages 97-110, Houthalen, Belgium, November 1989. Elsevier Science Publishers, B.V. North-Holland, Amsterdam.

@INPROCEEDINGS{fourman89b, AUTHOR = {S. Finn and M. Fourman and M. Francis and R. Harris}, TITLE = {Formal system design---interactive synthesis based on computer-assisted formal reasoning}, BOOKTITLE = {IMEC-IFIP International Workshop on Applied Formal Methods for Correct VLSI Design, Volume 1}, YEAR = {1989}, MONTH = {November}, EDITOR = {Luc Claesen}, PAGES = {97--110}, PUBLISHER = {Elsevier Science Publishers, B.V. North-Holland, Amsterdam}, ADDRESS = {Houthalen, Belgium} }

- Michael P. Fourman and Eleanor M. Mayger. Formally
based systems design-Interactive hardware scheduling. In
*Proceedings of VLSI '89*, pages 101-112, Munich, Germany, 1989.

@INPROCEEDINGS{fourman89a, AUTHOR = {Michael P. Fourman and Eleanor M. Mayger}, TITLE = {Formally based systems design---{I}nteractive hardware scheduling}, YEAR = {1989}, PAGES = {101--112}, ADDRESS = {Munich, Germany}, BOOKTITLE = {Proceedings of {VLSI} '89} }

- E. Mayger, M. Francis, R. Harris,
G. Musgrave, and M. Fourman. Dialog - linking formal
proof to the design environment. Technical report, Abstract
Hardware Ltd., Uxbridge, U. K., 1989.

@TECHREPORT{mayger89dialog, AUTHOR = {E. Mayger and M. Francis and R. Harris and G. Musgrave and M. Fourman}, TITLE = {Dialog -- linking formal proof to the design environment}, INSTITUTION = {Abstract Hardware Ltd.}, ADDRESS = {Uxbridge, U. K.}, YEAR = {1989} }

- P. Camurati, S. Chin, M. Fourman,
C. Pixley, P. Prinetto, and A. Takahara. Formal
verification: is it practical for realworld design, 1989.

@MISC{camurati89, AUTHOR = {P. Camurati and S. Chin and M. Fourman and C. Pixley and P. Prinetto and A. Takahara}, TITLE = {Formal verification: is it practical for realworld design}, TEXT = {Paolo Camurati, Shiu-Kai Chin, Michael Fourman, Carl Pixley, Paolo Prinetto, and Atsushi Takahara. Formal verification: is it practical for realworld design? IEEE Design and Test of Computers, 6(6):50:58, December 1989. Roundtable discussion held at ICCD. BIBLIOGRAPHY 261}, YEAR = {1989} }

- Michael P. Fourman, W.J. Palmer, and R.M. Zimmer. Core
tools for the next generation of electronics CAD. In
*Alvey Technical Conference*, pages 428-430, Swansea, 1988.

@INPROCEEDINGS{fourman88a, AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer}, TITLE = {Core Tools for the Next Generation of Electronics {CAD}}, BOOKTITLE = {Alvey Technical Conference}, ADDRESS = {Swansea}, YEAR = {1988}, PAGES = {428--430} }

- Michael P. Fourman, W.J. Palmer, and R.M. Zimmer. Proof
and synthesis. In
*International Conference on Circuit Design*, pages 600-603, Rye, New York, 1988.

@INPROCEEDINGS{fourman88b, AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer}, TITLE = {Proof and Synthesis}, BOOKTITLE = {International Conference on Circuit Design}, ADDRESS = {Rye, New York}, YEAR = {1988}, PAGES = {600--603}, URL = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=25771} }

- Michael P. Fourman, R. Holte, W.J. Palmer, and R.M.
Zimmer. Interactive behavioural synthesis. In A.P. Ambler, editor,
*Electronic Design Automation*, pages 317-329, Wembley, 1988.

@INPROCEEDINGS{fourman88c, AUTHOR = {Michael P. Fourman and R. Holte and W.J. Palmer and R.M. Zimmer}, TITLE = {Interactive Behavioural Synthesis}, BOOKTITLE = {Electronic Design Automation}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, YEAR = {1988}, PAGES = {317--329} }

- Michael P. Fourman and R.M. Zimmer. Modular design as
algebraic composition. In P.J.W. Ten Hagen and
T. Tomiyama, editors,
*Intelligent CAD Systems I: Theoretical and Methodological Aspects*, pages 176-185, Berlin, 1987. Springer-Verlag. Proceedings Eurographics Workshop on Intelligent CAD.

@INPROCEEDINGS{fourman87a, AUTHOR = {Michael P. Fourman and R.M. Zimmer}, TITLE = {Modular Design as Algebraic Composition}, BOOKTITLE = {Intelligent CAD Systems I: Theoretical and Methodological Aspects}, EDITOR = {P.J.W. Ten Hagen and T. Tomiyama}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin}, YEAR = {1987}, PAGES = {176--185}, NOTE = {Proceedings Eurographics Workshop on Intelligent CAD} }

- Michael P. Fourman, W.J. Palmer, and R.M. Zimmer. Using
higher-order functions to describe hardware. In A.P. Ambler,
editor,
*Electronic Design Automation*, pages 87-94, Wembley, 1987.

@INPROCEEDINGS{fourman87b, AUTHOR = {Michael P. Fourman and W.J. Palmer and R.M. Zimmer}, TITLE = {Using Higher-Order Functions to Describe Hardware}, BOOKTITLE = {Electronic Design Automation}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, YEAR = {1987}, PAGES = {87--94} }

- Michael P. Fourman, R. Holte, W.J. Palmer, and R.M.
Zimmer. Top-down design as bottom-up proof. In A.P. Ambler, editor,
*Electronic Design Automation*, pages 617-628, Wembley, 1987.

@INPROCEEDINGS{fourman87c, AUTHOR = {Michael P. Fourman and R. Holte and W.J. Palmer and R.M. Zimmer}, TITLE = {Top-down Design as Bottom-up Proof}, BOOKTITLE = {Electronic Design Automation}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, YEAR = {1987}, PAGES = {617--628} }

- Michael P. Fourman, R. Harris, and G. Musgrave.
Core tools for the next generation of electronics CAD. In A.P.
Ambler, editor,
*Electronic Design Automation*, pages 335-340, Wembley, 1987.

@INPROCEEDINGS{fourman87d, AUTHOR = {Michael P. Fourman and R. Harris and G. Musgrave}, TITLE = {Core Tools for the Next Generation of Electronics {CAD}}, BOOKTITLE = {Electronic Design Automation}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, YEAR = {1987}, PAGES = {335--340} }

- Michael P. Fourman. Verification using higher-order
specifications and transformations. In A.P. Ambler, editor,
*Proc. Silicon Design Conference*, Wembley, July 1986.

@INPROCEEDINGS{fourman86c, AUTHOR = {Michael P. Fourman}, TITLE = {Verification using Higher-order Specifications and Transformations}, BOOKTITLE = {Proc. Silicon Design Conference}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, MONTH = {July}, YEAR = {1986} }

- Michael P. Fourman. Strategies for redundancy in WSI. In
C. Jessop and W. Moore, editors,
*Proc. International Workshop on Wafer-Scale Integration*, pages 72-81, Boston, 1986. Adam Hilger.

@INPROCEEDINGS{fourman86a, AUTHOR = {Michael P. Fourman}, TITLE = {Strategies for redundancy in {WSI}}, BOOKTITLE = {Proc. International Workshop on Wafer-Scale Integration}, EDITOR = {C. Jessop and W. Moore}, PUBLISHER = {Adam Hilger}, ADDRESS = {Boston}, YEAR = {1986}, PAGES = {72-81} }

- Michael P. Fourman and S. Vickers. Theories as
categories. In Pitt, Abramsky, Poigné, and Rydeheard, editors,
*Category Theory and Computer Programming*, pages 434-448, Berlin, 1986. Springer-Verlag. Lecture Notes in Computer Science 240.

@INPROCEEDINGS{fourman86b, AUTHOR = {Michael P. Fourman and S. Vickers}, TITLE = {Theories as Categories}, BOOKTITLE = {Category Theory and Computer Programming}, EDITOR = {Pitt and Abramsky and Poign\'{e} and Rydeheard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin}, YEAR = {1986}, PAGES = {434--448}, NOTE = {Lecture Notes in Computer Science 240} }

- Michael P. Fourman. Evolving layout.
*I.E.E. Digest*, 41:3/1-3/4, 1985. Colloquium on VLSI Design Methodologies.

@ARTICLE{fourman85a, AUTHOR = {Michael P. Fourman}, TITLE = {Evolving Layout}, JOURNAL = {I.E.E. Digest}, PAGES = {3/1--3/4}, VOLUME = {41}, YEAR = {1985}, NOTE = {Colloquium on VLSI Design Methodologies} }

- Michael P. Fourman. Compaction of symbolic layout using
genetic algorithms. In Grefenstette [38], pages 141-153.

@INPROCEEDINGS{fourman85b, AUTHOR = {Michael P. Fourman}, TITLE = {Compaction of Symbolic Layout using Genetic Algorithms}, BOOKTITLE = {ICGA}, CROSSREF = {conf-icga-1985}, YEAR = {1985}, PAGES = {141--153} }

@PROCEEDINGS{conf-icga-1985, EDITOR = {John J. Grefenstette}, TITLE = {Proceedings of the 1st International Conference on Genetic Algorithms, Pittsburgh, PA, USA, July 1985}, BOOKTITLE = {ICGA}, PUBLISHER = {Lawrence Erlbaum Associates}, YEAR = {1985}, ISBN = {0-8058-0426-9}, BIBSOURCE = {DBLP, http://dblp.uni-trier.de} }

- John J. Grefenstette, editor.
*Proceedings of the 1st International Conference on Genetic Algorithms, Pittsburgh, PA, USA, July 1985*. Lawrence Erlbaum Associates, 1985.

@PROCEEDINGS{conf-icga-1985, EDITOR = {John J. Grefenstette}, TITLE = {Proceedings of the 1st International Conference on Genetic Algorithms, Pittsburgh, PA, USA, July 1985}, BOOKTITLE = {ICGA}, PUBLISHER = {Lawrence Erlbaum Associates}, YEAR = {1985}, ISBN = {0-8058-0426-9}, BIBSOURCE = {DBLP, http://dblp.uni-trier.de} }

- Michael P. Fourman, C.M. Fourman, G. Musgrave, and
A.P. Ambler. An approach to hardware description for the vida. In
A.P. Ambler, editor,
*Proc. Silicon Design Conference*, pages 67-85, Wembley, 1985.

@INPROCEEDINGS{fourman85c, AUTHOR = {Michael P. Fourman and C.M. Fourman and G. Musgrave and A.P. Ambler}, TITLE = {An approach to hardware description for the VIDA}, BOOKTITLE = {Proc. Silicon Design Conference}, EDITOR = {A.P. Ambler}, ADDRESS = {Wembley}, YEAR = {1985}, PAGES = {67--85} }

- Michael P. Fourman, P.Freyd, and A.Scedrov. Toposes and
modal logic.
*J. Symbolic Logic*, 49(4):1443, December 1984. Abstracts of the Annual Meeting of the Association for Symbolic Logic: Boston 1983.

@ARTICLE{fourman84b, AUTHOR = {Michael P. Fourman and P.Freyd and A.Scedrov}, TITLE = {Toposes and modal logic}, PAGES = {1443}, JOURNAL = {J. Symbolic Logic}, VOLUME = {49}, NUMBER = {4}, MONTH = {December}, YEAR = {1984}, NOTE = {Abstracts of the Annual Meeting of the Association for Symbolic Logic: Boston 1983}, URL = {http://links.jstor.org/sici?sici=0022-4812\%28198412\%2949\%3A4\%3C1441\%3AAMOTAF\%3E2.0.CO\%3B2-4} }

- Michael P. Fourman. Continuous truth I, non-constructive
objects. In G. Lolli, G. Longo, and A. Marcja,
editors,
*Proc. Logic Colloquium, Florence 1982*, Stud. Logic Found. Math. 112, pages 161-180. Elsevier Science Publishers B.V. (North-Holland), 1984. Invited Paper.

@INPROCEEDINGS{fourman84a, AUTHOR = {Michael P. Fourman}, TITLE = {Continuous truth {I}, Non-constructive objects}, BOOKTITLE = {Proc. Logic Colloquium, Florence 1982}, EDITOR = {G. Lolli and G. Longo and A. Marcja}, SERIES = {Stud. Logic Found. Math. 112}, PUBLISHER = {Elsevier Science Publishers B.V. (North-Holland)}, YEAR = {1984}, PAGES = {161-180}, NOTE = {Invited Paper} }

- Michael P. Fourman. T1 spaces over topological sites.
*J. Pure and Applied Algebra*, 27(3):223-224, March 1983.

@ARTICLE{fourman83, AUTHOR = {Michael P. Fourman}, TITLE = {T1 spaces over topological sites}, PAGES = {223-224}, JOURNAL = {J. Pure and Applied Algebra}, VOLUME = {27}, NUMBER = {3}, YEAR = {1983}, MONTH = {March}, URL = {http://dx.doi.org/10.1016/0022-4049(83)90017-8} }

- Michael P. Fourman and A.Scedrov. The ``world's simplest
axiom of choice'' fails.
*Manuscripta Mathematica*, 38:325-332, 1982.

@ARTICLE{fourman82a, AUTHOR = {Michael P. Fourman and A.Scedrov}, TITLE = {The ``World's Simplest Axiom of Choice'' fails}, PAGES = {325-332}, JOURNAL = {Manuscripta Mathematica}, VOLUME = {38}, YEAR = {1982}, ABSTRACT = {We use topos-theoretic methods to show that intuitionistic set theory with coutable or dependent choice does not imply that every family, all of whose elements are doubletons and which has at most one element, has a choice function.}, URL = {http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN365956996_0038} }

- Michael P. Fourman. A model for the theory of choice
sequences (cs).
*Abstracts Amer. Math. Soc.*, page 183, 1982. (abstract) 82-T-03-80.

@ARTICLE{fourman82b, AUTHOR = {Michael P. Fourman}, TITLE = {A model for the theory of choice sequences (CS)}, NOTE = {(abstract) 82-T-03-80}, PAGES = {183}, JOURNAL = {Abstracts Amer. Math. Soc.}, YEAR = {1982} }

- Michael P. Fourman. Notions of choice sequence. In
D. van Dalen and A. Troelstra, editors,
*L.E.J. Brouwer Centenary Symposium*, pages 91-105. North-Holland, 1982.

@INPROCEEDINGS{fourman82c, AUTHOR = {Michael P. Fourman}, TITLE = {Notions of Choice Sequence}, BOOKTITLE = {L.E.J. Brouwer Centenary Symposium}, EDITOR = {D. van Dalen and A. Troelstra}, PUBLISHER = {North-Holland}, YEAR = {1982}, PAGES = {91--105}, KEYWORD = {topoi, intuitionism, sheaf model, choice sequence, Grothendieck topology, Beth model; lawless sequence}, ABSTRACT = {The mathematical contribution of this paper is the construction of sheaf models for various theories of choice sequences. These models are defined when a category is given, together with a notion of which morphisms ``cover'' a given object (for the cognoscenti, a Grothendieck topology). The semantics is like Beth models; in fact these form a special case in which the objects of the category are the nodes of the Beth model and there is just one arrow between every pair of order-related nodes. Several specific models are considered; the two simplest are equivalent to the Scott-Moschovakis model, and the Kreisel-Troelstra elimination of lawless sequences, respectively. Another model, found independently by Grayson and by Moerdijk and van der Hoeven, corresponds to the Kreisel-Troelstra elimination of choice sequences. Several choice and continuity principles are verified in these models. On the philosophical side, the author hopes these models provide a conceptual basis for theories of choice sequences, i.e. a coherent and precise notion of choice sequence.} }

- Michael P. Fourman and R.J. Grayson. Formal spaces. In
D. van Dalen and A. Troelstra, editors,
*L.E.J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8-13 June, 1981.*, volume 110 of*Studies in Logic and the Foundations of Mathematics*, pages 107-122. North-Holland, 1982.

@INPROCEEDINGS{fourman82d, AUTHOR = {Michael P. Fourman and R.J. Grayson}, TITLE = {Formal Spaces}, BOOKTITLE = {L.E.J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8--13 June, 1981. }, EDITOR = {D. van Dalen and A. Troelstra}, PUBLISHER = {North-Holland}, SERIES = {Studies in Logic and the Foundations of Mathematics}, VOLUME = {110}, ABSTRACT = {This paper is an introduction to the constructive theory of locales (or 'pointless spaces') from the point of view of intuitionistic propositional theories. It is shown how such a theory gives rise to a 'Lindenbaum algebra' which is the dual of a locale (called the formal space of the theory), and how properties of the theory are reflected in properties of its formal space. In particular, the question of whether the formal space really is a space (i.e. whether it has enough points) becomes the question of whether the theory is complete (i.e. has enough models), and some well-known examples of this phenomenon are discussed. The paper is marred by an unfortunate wrong definition: for a map of locales f: X to Y to be open, it is not sufficient (unless Y is the one-point space) merely for f* to have a left adjoint. Thus the result (ascribed to A. Joyal in Lemma 4.5) that a locally compact locale embeds as an open sublocale of its Stone space is false, even for stably locally compact locales. The correct definition of openness may be found in a memoir by A. Joyal and M. Tierney [An extension of the Galois theory of Grothendieck, Mem. AMS 51, Number 309 (1984)]}, KEYWORDS = {constructive theory of locales, pointless spaces, intuitionistic propositional theories, Lindenbaum algebra}, YEAR = {1982}, PAGES = {107--122} }

- Michael P. Fourman. Continuous truth.
*Abstracts Amer. Math. Soc.*, 1981. (abstract) 81-T-03-135.

@ARTICLE{fourman81, AUTHOR = {Michael P. Fourman}, TITLE = {Continuous Truth}, NOTE = {(abstract) 81-T-03-135}, JOURNAL = {Abstracts Amer. Math. Soc.}, YEAR = {1981} }

- Michael P. Fourman. Sheaf models for set theory.
*Journal of Pure and Applied Alegebra*, 19:91-101, 1980.

@ARTICLE{fourman80, AUTHOR = {Michael P. Fourman}, TITLE = {Sheaf Models for Set Theory}, PAGES = {91-101}, JOURNAL = {Journal of Pure and Applied Alegebra}, VOLUME = {19}, YEAR = {1980} }

- Michael P. Fourman and Dana S. Scott. Sheaves and
logic. In Fourman et al. [51], pages
302-401.

@INPROCEEDINGS{fourman79a, AUTHOR = {Michael P. Fourman and Dana S. Scott}, TITLE = {Sheaves and Logic}, CROSSREF = {fourman79}, YEAR = {1979}, PAGES = {302-401}, DOI = {10.1007/BFb0061824} }

@PROCEEDINGS{fourman79, BOOKTITLE = {Applications of Sheaves}, TITLE = {Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977}, YEAR = {1979}, EDITOR = {Michael Fourman and Christopher Mulvey and Dana Scott}, VOLUME = {753/1979}, SERIES = {Lecture Notes in Mathematics}, PUBLISHER = {Springer}, URL = {http://dx.doi.org/10.1007/BFb0061811}, ISBN = {978-3-540-09564-4}, ORGANIZATION = {London Mathematical Society} }

- Michael P. Fourman and J.M.E. Hyland. Sheaf models for
analysis. In Fourman et al. [51],
pages 280-301.

@INPROCEEDINGS{fourman79b, AUTHOR = {Michael P. Fourman and J.M.E. Hyland}, TITLE = {Sheaf Models for Analysis}, CROSSREF = {fourman79}, YEAR = {1979}, PAGES = {280-301}, DOI = {10.1007/BFb0061823} }

@PROCEEDINGS{fourman79, BOOKTITLE = {Applications of Sheaves}, TITLE = {Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977}, YEAR = {1979}, EDITOR = {Michael Fourman and Christopher Mulvey and Dana Scott}, VOLUME = {753/1979}, SERIES = {Lecture Notes in Mathematics}, PUBLISHER = {Springer}, URL = {http://dx.doi.org/10.1007/BFb0061811}, ISBN = {978-3-540-09564-4}, ORGANIZATION = {London Mathematical Society} }

- Michael Fourman, Christopher Mulvey, and Dana Scott, editors.
*Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977*, volume 753/1979 of*Lecture Notes in Mathematics*. London Mathematical Society, Springer, 1979.

@PROCEEDINGS{fourman79, BOOKTITLE = {Applications of Sheaves}, TITLE = {Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977}, YEAR = {1979}, EDITOR = {Michael Fourman and Christopher Mulvey and Dana Scott}, VOLUME = {753/1979}, SERIES = {Lecture Notes in Mathematics}, PUBLISHER = {Springer}, URL = {http://dx.doi.org/10.1007/BFb0061811}, ISBN = {978-3-540-09564-4}, ORGANIZATION = {London Mathematical Society} }

- Michael P. Fourman. Formal spaces. Tagungsbericht
Oberwolfach, August 1977. (abstract).

@MISC{fourman77g, AUTHOR = {Michael P. Fourman}, TITLE = {Formal Spaces}, HOWPUBLISHED = {Tagungsbericht Oberwolfach}, NOTE = {(abstract)}, MONTH = {August}, YEAR = {1977} }

- Michael P. Fourman. The logic of topoi and sheaves.
*Journal of Symbolic Logic*, 42(1):138-139, 1977. (abstract).

@ARTICLE{fourman77a, AUTHOR = {Michael P. Fourman}, TITLE = {The logic of topoi and sheaves}, NOTE = {(abstract)}, JOURNAL = {Journal of Symbolic Logic}, VOLUME = {42}, NUMBER = {1}, YEAR = {1977}, PAGES = {138--139} }

- Michael P. Fourman. Comparaison des réeles d'un topos;
structures lisses sur un topos élémentaire.
*Cah. Géom. Top. Diff.*, 16(3):233-239, 1977.

@ARTICLE{fourman77b, AUTHOR = {Michael P. Fourman}, TITLE = {Comparaison des r\'eeles d'un topos; structures lisses sur un topos \'{e}l\'{e}mentaire}, JOURNAL = {Cah. G\'{e}om. Top. Diff.}, YEAR = {1977}, VOLUME = {16}, NUMBER = {3}, PAGES = {233--239} }

- Michael P. Fourman. The logic of topoi. In Jon Barwise,
editor,
*Handbook of Mathematical Logic*, chapter D-6, pages 1053-1090. North-Holland, 1977.

@INCOLLECTION{fourman77c, AUTHOR = {Michael P. Fourman}, TITLE = {The logic of topoi}, BOOKTITLE = {Handbook of Mathematical Logic}, PUBLISHER = {North-Holland}, CHAPTER = {D-6}, YEAR = {1977}, EDITOR = {Jon Barwise}, PAGES = {1053--1090}, ISBN = {0-7204-2285-X} }

- Michael P. Fourman and C. Rousseau. Parameters in
complex analysis and the logic of topoi.
*Journal of Symbolic Logic*, 42(3):499, 1977. (abstract).

@ARTICLE{fourman77d, AUTHOR = {Michael P. Fourman and C. Rousseau}, TITLE = {Parameters in complex analysis and the logic of topoi}, NOTE = {(abstract)}, JOURNAL = {Journal of Symbolic Logic}, VOLUME = {42}, NUMBER = {3}, YEAR = {1977}, PAGES = {499} }

- Michael P. Fourman. Approximation sheaves as internal
banach-spaces.
*Notices Amer. Math. Soc.*, 24(2):A-224, 1977. (abstract) 77T-B67.

@ARTICLE{fourman77e, AUTHOR = {Michael P. Fourman}, TITLE = {Approximation Sheaves as internal Banach-Spaces}, NOTE = {(abstract) 77T-B67}, PAGES = {A-224}, JOURNAL = {Notices Amer. Math. Soc.}, VOLUME = {24}, NUMBER = {2}, YEAR = {1977} }

- Michael P. Fourman. A representation for internal sober
spaces.
*Notices Amer. Math. Soc.*, 24(3):A-301, 1977. (abstract) 77T-G48.

@ARTICLE{fourman77f, AUTHOR = {Michael P. Fourman}, TITLE = {A representation for internal sober spaces}, NOTE = {(abstract) 77T-G48}, PAGES = {A-301}, JOURNAL = {Notices Amer. Math. Soc.}, VOLUME = {24}, NUMBER = {3}, YEAR = {1977} }

- Michael P. Fourman. Sheaf models for set theory.
Tagungsbericht Oberwolfach, July 1975. (abstract).

@MISC{fourman75, AUTHOR = {Michael P. Fourman}, TITLE = {Sheaf models for set theory}, HOWPUBLISHED = {Tagungsbericht Oberwolfach}, NOTE = {(abstract)}, MONTH = {July}, YEAR = {1975} }

- Michael Paul Fourman.
*Connections between category theory and logic*. PhD thesis, Oxford University, Linacre College, Oxford, November 1974. D.Phil. thesis.

@PHDTHESIS{fourman74, AUTHOR = {Michael Paul Fourman}, TITLE = {Connections between category theory and logic}, SCHOOL = {Oxford University}, YEAR = {1974}, MONTH = {November}, PAGES = {v + 102}, NOTE = {D.Phil. thesis}, ADDRESS = {Linacre College, Oxford} }

*This file has been generated by bibtex2html
1.75*