形式意味論
Menhera.orgの集まりでinupan氏が入門的なプレゼンをしてたらしい
ハンドアウト資料はまだその鯖にあるはず
紹介の読み物は『現代意味論入門』とは異なるやつ
『形式意味論入門』
じつはワッイも電書で買つてたやつ
結局積読中
確か内包の話をそんなに出さないやつ
外延メインな印象
それで当時途方に暮れた記憶
内包タイプ理論のダウンアップのあたりで落伍者と化してた