Lou

I am a computer scientist

Áreas de Interés

• Logic in/for computer science
• Type systems for programming languages
• Lambda Calculus

Lenguajes de Programación

• Haskell
• Coq