Andreas Schropp | Lambda the Ultimate

Andreas Schropp

view
track

Personal information

Country:
Germany

Gender:
male

Interests:

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

History

Member for:
15 years 48 weeks