Formalizing Abstract Algebra in Type Theory with Dependent Records (2003)

Cached

Download Links

by Xin Yu , Aleksey Nogin , Alexei Kopylov , Jason Hickey
Venue:Universitat Freiburg
Citations:6 - 2 self