Frederic Koehler

Personal information


Type Theory, Algorithms and their formalization.

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

History


11 years 41 weeks