Signe Reuss

Publication Activity (10 Years)

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

Publications

Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. High. Order Symb. Comput. 16 (3) (2003)