Frederic Koehler

Personal information


Type Theory, Algorithms and their formalization.

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

History


4 years 46 weeks