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