Mathias Kegelmann

Affiliations:

According to our database¹, Mathias Kegelmann authored at least 4 papers between 1999 and 2002.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2002

Continuous Domains in Logical Form.

[BibT_eX]

[DOI]

Electronic Notes in Theoretical Computer Science 49, Elsevier, 2002

2001

Stably Compact Spaces and Closed Relations.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

1999

Multi Lingual Sequent Calculus and Coherent Spaces.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

Factorisation Systems on Domains.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1999