3,326 followers
「異なるλ抽象では必ず異なる変数名を使う」ってのは Barendregt’s naming convension って言えば通じるのか. https://t.co/skR6wI1jvK
「異なるλ抽象では必ず異なる変数名を使う」ってのは Barendregt’s naming convension って言えば通じるのか. https://t.co/skR6wI1jvK
Homotopy Theoretic Models of Type Theory. http://t.co/twHNEtYv