Search results for: John C. Mitchell
Theoretical Computer Science > 2006 > 367 > 1-2 > 33-56
Theoretical Computer Science > 2002 > 283 > 2 > 419-450
Theoretical Computer Science > 2006 > 367 > 1-2 > 33-56
Theoretical Computer Science > 2002 > 283 > 2 > 419-450