TY  - GEN
AB  - cse-00-007
AU  - Paalic, Emir
DA  - 2000
DO  - 10.6083/nz805z975
DO  - DOI
ID  - 3799
L1  - https://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
L2  - https://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
L4  - https://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
LK  - https://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
N2  - cse-00-007
PY  - 2000
T1  - DALI: an untyped CBV operational semantics and equational theory  for datatypes with binders (technical development)
TI  - DALI: an untyped CBV operational semantics and equational theory  for datatypes with binders (technical development)
UR  - https://digitalcollections.ohsu.edu/record/3799/files/csetech-116.pdf
Y1  - 2000
ER  -