RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Journal of Logic and Computation - United Kingdom
doi 10.1093/logcom/exn026
Full Text
Open PDFAbstract
Available in full text
Date
February 1, 2009
Authors
Publisher
Oxford University Press (OUP)