Michael Paul Fourman

MaRDI QIDQ1799306zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A proposed categorical semantics for ML modules Category Theory and Computer Science	2022-12-16	Paper
Introduction to computation. Haskell, logic and automata Undergraduate Topics in Computer Science	2021-07-23	Paper
A proposed categorical semantics for pure ML Automata, Languages and Programming	2019-12-04	Paper
Hitting Buneman circles	2018-10-18	Paper
Continuous truth. II: Reflections Logic, Language, Information, and Computation	2013-09-17	Paper
scientific article; zbMATH DE number 1705165 (Why is no real title available?)	2002-02-14	Paper
Partial functions in a total setting Journal of Automated Reasoning	1997-09-07	Paper
scientific article; zbMATH DE number 910721 (Why is no real title available?)	1996-08-29	Paper
scientific article; zbMATH DE number 4110154 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3995941 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3918365 (Why is no real title available?)	1984-01-01	Paper
\(T_ 1\) spaces over topological sites Journal of Pure and Applied Algebra	1983-01-01	Paper
scientific article; zbMATH DE number 3867322 (Why is no real title available?)	1982-01-01	Paper
scientific article; zbMATH DE number 3853067 (Why is no real title available?)	1982-01-01	Paper
The World's simplest axiom of choice fails Manuscripta Mathematica	1982-01-01	Paper
Sheaf models for set theory Journal of Pure and Applied Algebra	1980-01-01	Paper
scientific article; zbMATH DE number 3645093 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3664922 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3522187 (Why is no real title available?)	1976-01-01	Paper

Research outcomes over time

This page was built for person: Michael Paul Fourman