000003805 001__ 3805
000003805 005__ 20231206121122.0
000003805 0247_ $$2DOI$$a10.6083/hx11xf62z
000003805 037__ $$aIR
000003805 245__ $$aType checking In Exp: an algebraic approach
000003805 269__ $$a1982
000003805 336__ $$aArticle
000003805 520__ $$acse-82-003
000003805 540__ $$fCC BY
000003805 542__ $$fIn copyright - single owner
000003805 691__ $$aOregon Graduate Institute
000003805 7001_ $$aShultis, Jon
000003805 8564_ $$97e0403cb-a43c-4699-b75b-d92ac34ddd09$$s729560$$uhttps://digitalcollections.ohsu.edu/record/3805/files/csetech-122.pdf
000003805 905__ $$a/rest/prod/hx/11/xf/62/hx11xf62z
000003805 980__ $$aScholars Archive