Michael Wright Collection

Showing 8146 results

Archival description

Print preview

Card view Table view

20/07/74 ISILC - Logic Conference, Kiel: Peter Krauss: Quantifier elimination

michael-wright-collection-MW0003749 · Item

Part of Michael Wright Collection

20/07/07 MW Microphone test / MW telephone call incl J Stachel / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Colin McLarty / 22/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Jean-Pierre Marquis / 24/07/07: MW conversations incl S Houdousse / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Owen Maroney / MW abortive telephone call to Owen Maroney / 25/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW telephone call incl JP Marquis re Boston meeting / 27/07/07: MW abortive telephone call to FW Lawvere 28/07/07: Paris: Conversations incl M Wright, G Bacciagaluppi & J Bacciagaluppi / 31/07/07: Conversations incl M Wright & M Van Atten

michael-wright-collection-MW0002547 · Item

Part of Michael Wright Collection

20/07/07 MW Microphone test / MW telephone call incl J Stachel / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Colin McLarty / 22/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Jean-Pierre Marquis / 24/07/07: MW conversations incl S Houdousse / MW abortive telephone call to Jean-Pierre Marquis / MW abortive telephone call to Owen Maroney / MW abortive telephone call to Owen Maroney / 25/07/07: MW abortive telephone call to Jean-Pierre Marquis / MW telephone call incl JP Marquis re Boston meeting / 27/07/07: MW abortive telephone call to FW Lawvere 28/07/07: Paris: Conversations incl M Wright, G Bacciagaluppi & J Bacciagaluppi / 31/07/07: Conversations incl M Wright & M Van Atten

michael-wright-collection-MW0002544 · Item

Part of Michael Wright Collection

20/07/06 CKC 2006, Oxford: Y Feng & Ying M: Quantum loop programs / Dan Browne: Measurement-based quantum computing.

michael-wright-collection-MW0000541 · Item

Part of Michael Wright Collection

20/07/06 CKC 2006, Oxford: Samson Abramsky: Temperley-Lieb algebras (part 2) / 21/07/06 Andreas Doering: Topos models of phase space structure in classical and QM

michael-wright-collection-MW0000539 · Item

Part of Michael Wright Collection

20/07/06 CKC 2006, Oxford: Rick Blute: Linear Logic.

michael-wright-collection-MW0000541 · Item

Part of Michael Wright Collection

20/07/06 CKC 2006, Oxford: Maarten Van Den Nest et al: Universal resources for measurement-based quantum computation

michael-wright-collection-MW0000540 · Item

Part of Michael Wright Collection

20/07/06 CKC 2006, Oxford: Elham Kashefi & Vincent Danos: Flow in the 1-way model (for quantum computing) / Samson Abramsky: Temperley-Lieb algebras (part 1)

michael-wright-collection-MW0000540 · Item

Part of Michael Wright Collection

20/07/02 FW Lawvere et al. / conversations: FW Lawvere re. noncommutative geometry

michael-wright-collection-MW0001755 · Item

Part of Michael Wright Collection

20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Hyland: Domain models for lambda calculus - categorical perspective 30 years on / John Power: computational effects & operations in Lawvere theories / breaktime conversation: FW Lawvere / JC Reynolds: Relating intrinsic & extrinsic semantics in domain theory / Lee Flax: Approx of entailment theories (1st part)

michael-wright-collection-MW0001752 · Item

Part of Michael Wright Collection

Results 3171 to 3180 of 8146

Previous
1
...
315
316
317
318
319
320
321
...
815
Next