Logic and PLT
Logical systems
- Relational logic, i.e., logical systems without variables
- Description logic
- Typed first-order logic
- Homotopy type theory
- Linear logic
Computational aspects
Programming languages
- Lambda calculus and its connections with category theory
- Abstract syntax
- Algebraic data types and generalized algebraic data types
- Dataflow programming
- Probabilistic programming
- Reactive programming