Home » user account

Frederic Koehler

Personal information


Type Theory, Algorithms and their formalization.

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

History


13 years 1 week