TY  - RPRT
TI  - Terminal semantics for codata types in intensional Martin-Löf type theory
AU  - Benedikt Ahrens
AU  - Régis Spadotti
PY  - 2014
UR  - https://arxiv.org/abs/1401.1053
ID  - 1401.1053
ER  -