Working with Mathematical Structures in Type Theory

Cached

Download Links

by Claudio Sacerdoti Coen , Enrico Tassi
Citations:7 - 3 self