Search results for: A Mason
Higher-Order and Symbolic Computation > 2003 > 16 > 3 > 161-202
Higher-Order and Symbolic Computation > 1999 > 12 > 2 > 171-201
Theoretical Computer Science > 1997 > 185 > 2 > 277-318
Higher-Order and Symbolic Computation > 2003 > 16 > 3 > 161-202
Higher-Order and Symbolic Computation > 1999 > 12 > 2 > 171-201
Theoretical Computer Science > 1997 > 185 > 2 > 277-318