Search results for: Martin Hyland
Electronic Notes in Theoretical Computer Science > 2014 > 303 > Complete > 59-77
Theoretical Computer Science > 2007 > 375 > 1-3 > 20-40
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 437-458
Theoretical Computer Science > 2006 > 366 > 1-2 > 144-162
Theoretical Computer Science > 2006 > 364 > 2 > 146-165
Electronic Notes in Theoretical Computer Science > 2006 > 161 > Complete > 43-57
Theoretical Computer Science > 2006 > 357 > 1-3 > 70-99
Theoretical Computer Science > 2003 > 294 > 1-2 > 183-231
Electronic Notes in Theoretical Computer Science > 2003 > 83 > Complete > 227-245