Peter Andrews

Higher-Order Rewriting with Dependent Types

Richard Statman, Roberto Virga, Peter Andrews, 1999 .

Meet the Experts. External nasal valve collapse: Assessment and management algorithm.

Peter Andrews, Anne-Lise Poirrier, 2013 .

Littlewood, Karin: Star Girl

Peter Andrews, 2014 .

An open data model for the MR industry: The challenge and the promise

Peter Andrews, 2001 .

Uberpreneurs: How to Create Innovative Global Businesses and Transform Human Societies

Peter Andrews, Fiona Wood, 2013 .

Innovation Passport: IBM's First-of-a-Kind Journey from Research to Reality

Peter Andrews, 2009 .

Palomar-QUEST: A case study in designing sky surveys in the VO era

Alexander S. Szalay, Peter Andrews, Robert J. Brunner, 2004 .