TY  - RPRT
TI  - Typed Operational Semantics for Dependent Record Types
AU  - Yangyue Feng
AU  - Zhaohui Luo
PY  - 2011
DO  - 10.4204/eptcs.53.3
UR  - https://arxiv.org/abs/1103.3321
ID  - 1103.3321
ER  -