Integrated Development of Algebra in Type Theory (1998)

View PDF

Download Links

by Thierry Coquand , Henrik Persson
Citations:2 - 0 self