TY  - RPRT
TI  - Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory
AU  - Ken Akiba
PY  - 2016
DO  - 10.4204/eptcs.213.2
UR  - https://arxiv.org/abs/1606.06385
ID  - 1606.06385
ER  -