论文信息 - Modal Dependent Type Theory and Dependent Right - 字舞流文

Modal Dependent Type Theory and Dependent Right

L. Birkedal | Bas Spitters | B. Mannaa | R. E. Møgelberg | R. Clouston | Andrew M. P Itts | Ranald Clouston | Rasmus E. Møgelberg