Playing with LEGO: Some Examples of Developing Mathematics in the Calculus of Constructions (1989)

by Paul Taylor