lagenorhynque / semantics-of-programming-languages

Study notes on semantics of programming languages & theorem proving

semantics-of-programming-languages

Study notes on semantics of programming languages & theorem proving.

cf. 『プログラミング言語の基礎概念』