Building Problem Solving Environments in Constructive Type Theory (1989)

by David Basin