ちょっと思ったんだけど、TAPLって型について勉強する際に有用なのはもちろんなんだけど、それ以外にもλ計算とか、帰納法を使った証明のやり方に始まり、{small-step, big-step} operational semantics、de BruignやらLogical Relationやらなんやらといった…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。