000003799 001__ 3799
000003799 005__ 20231206121120.0
000003799 0247_ $$2DOI$$a10.6083/nz805z975
000003799 037__ $$aIR
000003799 245__ $$aDALI: an untyped CBV operational semantics and equational theory  for datatypes with binders (technical development)
000003799 269__ $$a2000
000003799 336__ $$aArticle
000003799 520__ $$acse-00-007
000003799 540__ $$fCC BY
000003799 542__ $$fIn copyright - single owner
000003799 691__ $$aOregon Graduate Institute
000003799 7001_ $$aPaalic, Emir
000003799 8564_ $$91841d0cd-017c-4344-90ce-748a02974f75$$s355851$$uhttps://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
000003799 905__ $$a/rest/prod/nz/80/5z/97/nz805z975
000003799 980__ $$aScholars Archive