TY  - RPRT
TI  - An Elementary Fragment of Second-Order Lambda Calculus
AU  - Klaus Aehlig
AU  - Jan Johannsen
PY  - 2004
UR  - https://arxiv.org/abs/cs/0210022
ID  - cs/0210022
ER  -