A Pointfree approach to Constructive Analysis in Type Theory (1997)

by Jan Cederquist
Citations:7 - 0 self