Login / Signup

Mathematics as Programming.

Robert L. Constable
Published in: Logic of Programs (1983)
Keyphrases