Department Mathematik
print


Navigationspfad


Inhaltsbereich

Basil A. Karádais

Arbeitsgruppe Mathematische Logik

Mathematisches Institut der Universität München
Theresienstr. 39

Email: karadais at math dot lmu dot de

Tel:   +49 (0)89   2180 4417
Büro: Block B, 4. Stock, B420

Sprechstunde: nach Vereinbarung


Hypergraph

Work

Higher-type computability theory, Denotational semantics of programming languages, Constructive domain theory
(older webpage).

See also at MathSciNet, Zentralblatt, and dblp.

Teaching

Last modified: 25.04.2018