次のようなツイートを見かけたので、私なりの回答を。 初歩的な疑問だけど、untyped lambda calculusのbig-step semanticsってどう定義されるのだろう?計算が止まらない時にうまく定義できないように思うのだが。— yoriyuki (@yoriyuki) 2013, 11月 2 「計…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。