Amanote Research
Register
Sign In
Type Theory and Homotopy
doi 10.1007/978-94-007-4435-6_9
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Steve Awodey
Publisher
Springer Netherlands