面白かった・・・と言えれば私も研究者としてそれなりってところだと思うが。 いかんせん英語なので半分くらいしかわからない。 わかる範囲を言えば、CoqのtermとCoqで定義されたラムダ項(ただしwell-typedに限る)の相互変換をしようとして、何が問題で何…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。