Person:1799306

Available identifiers

zbMath Open fourman.michael-paulDBLP99/79WikidataQ6830387 ScholiaQ6830387MaRDI QIDQ1799306

List of research outcomes

Publication	Date of Publication	Type
A proposed categorical semantics for ML modules	2022-12-16	Paper
Introduction to Computation	2021-07-23	Paper
A proposed categorical semantics for Pure ML	2019-12-04	Paper
Hitting Buneman circles	2018-10-18	Paper
Continuous Truth II: Reflections	2013-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2771060	2002-02-14	Paper
Partial functions in a total setting	1997-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4885879	1996-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q3833646	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4723931	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3693527	1984-01-01	Paper
\(T_ 1\) spaces over topological sites	1983-01-01	Paper
The World's simplest axiom of choice fails	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3322099	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3335779	1982-01-01	Paper
Sheaf models for set theory	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3050433	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863865	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4100662	1976-01-01	Paper

Research outcomes over time

This page was built for person: Michael Paul Fourman