Andreas Schropp

Personal information


Germany

male

Functional Programming, Formal Semantics, Category Theory,
Interactive Theorem Proving, Type Theory, Set Theory

History


11 years 16 weeks