TY  - RPRT
TI  - Two algorithms in search of a type system
AU  - Norman Danner
AU  - James S. Royer
PY  - 2008
UR  - https://arxiv.org/abs/0710.0824
ID  - 0710.0824
ER  -