Frederic Koehler

Personal information


Type Theory, Algorithms and their formalization.

And very casually, the philosophy of computer science/mathematics.

History


6 years 25 weeks