Carnegie Mellon University
Browse

Steven Awodey

Usage metrics

Co-workers & collaborators

  • Michael A. Warren

  • Henrik Forssell

  • Andrej Bauer

  • Alex Simpson

  • Thomas Streicher

  • Kohei Kishida

Steven Awodey's public data