Home » user account

Frederic Koehler

Personal information


Type Theory, Algorithms and their formalization.

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

History


12 years 2 weeks