Intuitionistic Mathematics as a Programming Language. Lecture Notes., Computer Science Invited Lecture Series (1985)

by D Turner