Formal Development of Functional Programs in Type Theory -- A Case Study (1992)

Cached

Download Links

by Martin Hofmann
Citations:4 - 1 self