前回の記事「最近の型理論： 具体的・構文的なコンテキスト」にて： コンテキストの水増し規則をキチンと定式化しようとすると意外と難しかったりします。このあたりを説明するには、構文論だけではなくて意味論も紹介したほうがよさそうなので、次の機会と…