Signe Reuss

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen: Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. Higher-Order and Symbolic Computation 16(3): 253-285 (2003)

	2003
1		Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen: Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. Higher-Order and Symbolic Computation 16(3): 253-285 (2003)

Coauthor Index