Signe Reuss

According to our database, Signe Reuss authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.

Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen

High. Order Symb. Comput., 2003