My (sparse) blog is at blog.burakemir.ch

Here is an index to some of those posts.

(2021) Worked example of automata runs as sheaves
(2021) What are Commuting Conversions
Relating partial evaluation, multi-stage programming and macros
(2020) Intuitionistic Logic:
- Intuitionistic Propositional Logic and Natural Deduction
- Kripke semantics and Tableaux for Intuitionistic Logic
(2020) Higher-order Logic:
- Higher-order Logic and Equality
- Intuitionistic Higher-Order Logic and Equality
(2010) Yacc is of the Living Dead