fourman.bib
@PHDTHESIS{fourman74connections,
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}
}
@MISC{fourman75,
AUTHOR = {Michael P. Fourman},
TITLE = {Sheaf models for set theory},
HOWPUBLISHED = {Tagungsbericht Oberwolfach},
NOTE = {(abstract)},
MONTH = {July},
YEAR = {1975}
}
@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{fourman77,
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{fourman77g,
AUTHOR = {Michael P. Fourman},
TITLE = {Formal Spaces},
HOWPUBLISHED = {Tagungsbericht Oberwolfach},
NOTE = {(abstract)},
MONTH = {August},
YEAR = {1977}
}
@PROCEEDINGS{fourman79,
TITLE = {Applications of Sheaves},
YEAR = {1979},
EDITOR = {M. Fourman and C. Mulvey and D. Scott},
NUMBER = {753},
SERIES = {LNM},
PUBLISHER = {Springer},
NOTE = {}
}
@INPROCEEDINGS{fourman79a,
AUTHOR = {Michael P. Fourman and Dana S. Scott},
TITLE = {Notes on Sheaves and Logic},
BOOKTITLE = {Applications of Sheaves},
EDITOR = {Fourman and Mulvey and Scott},
PUBLISHER = {Springer-Verlag},
YEAR = {1979},
PAGES = {302-401},
NOTE = {Lecture Notes in Mathematics 753}
}
@INPROCEEDINGS{fourman79b,
AUTHOR = {Michael P. Fourman and J.M.E. Hyland},
TITLE = {Sheaf Models for Analysis},
BOOKTITLE = {Applications of Sheaves},
EDITOR = {Fourman and Mulvey and Scott},
PUBLISHER = {Springer-Verlag},
YEAR = {1979},
PAGES = {280-301},
NOTE = {Lecture Notes in Mathematics 753}
}
@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}
}
@ARTICLE{fourman81,
AUTHOR = {Michael P. Fourman},
TITLE = {Continuous Truth},
NOTE = {(abstract) 81-T-03-135},
JOURNAL = {Abstracts Amer. Math. Soc.},
YEAR = {1981}
}
@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}
}
@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}
}
@INPROCEEDINGS{fourman82d,
AUTHOR = {Michael P. Fourman and R.J. Grayson},
TITLE = {Formal Spaces},
BOOKTITLE = {L.E.J. Brouwer Centenary Symposium},
EDITOR = {D. van Dalen and A. Troelstra},
PUBLISHER = {North-Holland},
YEAR = {1982},
PAGES = {107--122}
}
@ARTICLE{fourman83,
AUTHOR = {Michael P. Fourman},
TITLE = {T1 spaces over topological sites},
PAGES = {223-224},
JOURNAL = {J. Pure and Applied Algebra},
VOLUME = {27},
YEAR = {1983}
}
@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}
}
@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},
YEAR = {1984},
NOTE = {Abstracts of the 1983-84 A.S.L. Annual Meeting}
}
@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 = {Proc. International Conference on Genetic Algorithms and their Applications},
EDITOR = {J.J. Grefenstette},
ADDRESS = {Pittsburgh},
YEAR = {1985},
PAGES = {141--153}
}
@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}
}
@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}
}
@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{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{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}
}
@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{fourman89,
AUTHOR = {M.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}
}
@INPROCEEDINGS{fourman89d,
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{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}
}
@INPROCEEDINGS{fourman92,
AUTHOR = {Michael P. Fourman},
TITLE = {Formal Design},
BOOKTITLE = {Formal Design Methods for {VLSI}},
EDITOR = {J{\o}rgen Staunstrup},
PUBLISHER = {North-Holland},
YEAR = {1992}
}
@INPROCEEDINGS{fourman91,
AUTHOR = {M.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{mayger91,
AUTHOR = {E.M. Mayger and M.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{chapman95,
AUTHOR = {N. Chapman and S. Finn and M.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}
}
@MISC{finn90logic,
AUTHOR = {S. Finn and M. 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}
}
@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{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},
URL = {http://www.lfcs.inf.ed.ac.uk/reports/92/ECS-LFCS-92-213/index.html},
NOTE = {LFCS report ECS-LFCS-92-213}
}
@INPROCEEDINGS{fourman92b,
AUTHOR = {M.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{fourman95,
AUTHOR = {M.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-Verlag},
SERIES = {Lecture Notes in Computer Science 953},
PAGES = {240--252}
}
@INCOLLECTION{fourman96proof,
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{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},
NUMBER = {1},
URL = {http://www.lfcs.inf.ed.ac.uk/reports/96/ECS-LFCS-96-341/index.html},
PAGES = {85-104}
}
@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{chapman97Reasoning,
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},
OPTPAGES = {},
PUBLISHER = {Springer},
YEAR = {1996},
VOLUME = {1},
SERIES = {Research Reports Esprit},
NOTE = {Project 6128, FORMAT},
ISBN = {3-540-62007-9 }
}
@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 = {Available as EDI-INF-RR-0034},
URL = {http://www.inf.ed.ac.uk/publications/report/0034.html}
}
@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}
}
@INCOLLECTION{fourman02,
AUTHOR = {M.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}
}
@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}
}
This file has been generated by
bibtex2html 1.65