Interactive Programs in Dependent Type Theory (2000)

Cached

Download Links

by Peter Hancock , Anton Setzer
Citations:34 - 9 self