- Bart De Smet
- Boolean algebra
- Denmark
- FP
- France
- functional programming
- Germany
- Italy
- Lambda calculus
- Logic
- Mathematical logic
- Mathematics
- Microsoft
- Modal logic
- Negation
- Netherlands
- Non-classical logic
- Norway
- Philosophical logic
- Propositional calculus
- Q
- search parameters
- Sweden
- Theoretical computer science
Help
Bart De Smet
