Search results for: John C. Mitchell
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 311-358
Theoretical Computer Science > 2006 > 353 > 1-3 > 118-164
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 311-358
Theoretical Computer Science > 2006 > 353 > 1-3 > 118-164