TY  - RPRT
TI  - Linear Abadi and Plotkin Logic
AU  - Lars Birkedal
AU  - Rasmus E. Møgelberg
AU  - Rasmus Lerchedahl Petersen
PY  - 2006
DO  - 10.2168/lmcs-2(5:2)2006
UR  - https://arxiv.org/abs/cs/0611004
ID  - cs/0611004
ER  -