# 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
- Algebraic data types and generalized algebraic data types
- Dataflow programming
- Probabilistic programming