RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
DOI10.1093/LOGCOM/EXN026zbMath1156.03301OpenAlexW2117016770MaRDI QIDQ3611720
Andrej Bauer, Christopher A. Stone
Publication date: 2 March 2009
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/41e1ed94438757fd26be8a435c4febb7ceaf4a27
Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items (1)
Uses Software
This page was built for publication: RZ: a Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice