TY  - RPRT
TI  - Logical systems I: Lambda calculi through discreteness
AU  - Michal R. Przybylek
PY  - 2014
UR  - https://arxiv.org/abs/1306.3703
ID  - 1306.3703
ER  -