@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {}
}
@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}
}
@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}
}
@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}
}
@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}}
}
@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 }
}
@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)}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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.}
}
@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}
}
@ARTICLE{fourman81,
AUTHOR = {Michael P. Fourman},
TITLE = {Continuous Truth},
NOTE = {(abstract) 81-T-03-135},
JOURNAL = {Abstracts Amer. Math. Soc.},
YEAR = {1981}
}
@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}
}
@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}
}
@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}
}
@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}
}
@MISC{fourman77g,
AUTHOR = {Michael P. Fourman},
TITLE = {Formal Spaces},
HOWPUBLISHED = {Tagungsbericht Oberwolfach},
NOTE = {(abstract)},
MONTH = {August},
YEAR = {1977}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@MISC{fourman75,
AUTHOR = {Michael P. Fourman},
TITLE = {Sheaf models for set theory},
HOWPUBLISHED = {Tagungsbericht Oberwolfach},
NOTE = {(abstract)},
MONTH = {July},
YEAR = {1975}
}
@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