semantics-of-programming-languages Study notes on semantics of programming languages & theorem proving. cf. 『プログラミング言語の基礎概念』