TY  - GEN
N2  - cse-82-003
DO  - 10.6083/hx11xf62z
DO  - DOI
AB  - cse-82-003
T1  - Type checking In Exp: an algebraic approach
DA  - 1982
AU  - Shultis, Jon
L1  - https://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
PY  - 1982
ID  - 3805
L4  - https://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
TI  - Type checking In Exp: an algebraic approach
Y1  - 1982
L2  - https://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
LK  - https://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
UR  - https://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
ER  -