Time Complexity of Programs in Type Theory (1989)

by B Bjerner