| Name | Last modified | Size | Description |
|---|---|---|---|
 blog/ |
Low quality blog posts | ||
| misc/ |
|||
| links.xml | 1.6 KiB | A collection of useful links | |
| songs.xml | 106 KiB | A list of good songs |
- (modal) logic
- semantics and foundations of computations
- (co)algebra and category theory