Michael Fourman > research > publications

Bibliography

1992: A proposed categorical semantics for Pure ML: Wesley Phoa and Michael P. Fourman
pdf BibTeX
1995: Proof and Design: Michael P. Fourman
pdf BibTeX
1996: Partial Functions in a Total Setting: Simon Finn, Michael P. Fourman and John Longley
pdf BibTeX
2000: Propositional Planning: Michael P. Fourman
pdf BibTeX
2002: informatics: Michael P. Fourman
pdf BibTeX
1982: Notions of Choice Sequence: Michael P. Fourman
pdf BibTeX
1984: Continuous Truth I: non-constructive objects: Michael P. Fourman
pdf BibTeX
2013: Continuous Truth II: reflections: Michael P. Fourman
pdf BibTeX
2013: Hitting Buneman Circles: Michael P. Fourman
pdf BibTeX