Interactive Programs in Dependent Type Theory (2000)

by Peter Hancock , Anton Setzer
Citations:43 - 10 self