Interactive Programs in Dependent Type Theory (2000)

Cached

Download Links

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