Vorträge und Tagungen von Frank Rosemeier
Tagungsbeiträge
- On Conway Numbers and Generalized Real Numbers.
Vortrag beim Symposium
Reuniting the Antipodes -
Constructive and Nonstandard Views of the Continuum
in Venedig, 17. - 22. Mai 1999.
- Formalizing Bishop Style Mathematics
in Martin-Löf's Type Theory.
Vortrag beim Minisymposion
Constructivity in Analysis and Topology
auf der Jahrestagung der Deutschen Mathematiker Vereinigung (DMV)
in Rostock, 14. - 19. September 2003.
- Representing Martin-Löf's Type Theory
in Barendregt's lambda-cube.
Poster beim Vierten Europäischen Mathematik-Kongress (ECM)
in Stockholm, 27. Juni - 3. Juli 2004.
Vortrag
- Monaden - von der Theorie zur Praxis