Basil A. Karádais

Office: 510, Post-Doc, corridoio BC
Phone: (+39) 049 827 1461
E-mail: basilio.at.math.dot.unipd.dot.it
Stay: from 01/09/2014 to 31/08/2015
Older website: http://www.math.lmu.de/~karadais/

Interests: Higher-type computability theory, Denotational semantics of programming languages, Constructive domain theory
Working with: Giovanni Sambin, Francesco Ciraulo, Milly Maietti

Work

Teaching

Links

Last modified: 20.07.2015