Program Development in Constructive Type Theory (1992)

Cached

Download Links

by Didier Galmiche
Venue:Theoretical Computer Science
Citations:4 - 2 self