D. Arkhangelsky

Publication Activity (10 Years)

Years Active: 1993-1993
Publications (10 Years): 0

Publications

Mikhail A. Taitslin, D. Arkhangelsky
The Other Linear Logic (Invited Paper). Formal Methods in Programming and Their Applications (1993)