Status Updates From Introduction to Homotopy Ty...

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
by

all editions | this edition
show all updates | only show updates with text

Status Updates Showing 1-1 of 1

James Squires

James Squires is on page 20 of 386

— May 10, 2025 12:59PM Add a comment

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)