Productivity of Edalat-Potts exact arithmetic in constructive type theory

DOI10.1007/S00224-006-1342-7zbMath1127.68028OpenAlexW1980855340MaRDI QIDQ2642905

Milad Niqui

Publication date: 6 September 2007

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-006-1342-7

zbMATH Keywords

lazy exact arithmetic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other constructive mathematics (03F65)

This page was built for publication: Productivity of Edalat-Potts exact arithmetic in constructive type theory