Working with Mathematical Structures in Type Theory

Cached

Download Links

by Claudio Sacerdoti Coen , Enrico Tassi
Citations:8 - 4 self