文脈、判断、演繹：依存型理論と自然演繹における圏論的分析

本稿では、依存型理論と自然演繹を包含する統一的な枠組みとして、判断論理とその計算体系を圏論を用いて提示する。