RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)

by Andrej Bauer , Christopher A. Stone
Venue:CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS
Citations:6 - 3 self

Document Versions

RZ: A tool for bringing constructive and computable mathematics closer to programming practice –Andrej Bauer, Christopher A. Stone — 2007 — CiE 2007: Computation and Logic in the Real World, volume 4497 of LNCS
C.A.: RZ: a tool for bringing constructive and computable mathematics closer to programming practice –Andrej Bauer, Christopher A. Stone — In: Computation and Logic in the Real World, Third Conference on Computability in Europe. Volume 4497 of LNCS. 28–42
RZ: A tool for bringing constructive and computable mathematics closer to programming practice –Andrej Bauer, Christopher A. Stone — Computation and Logic in the Real World, Lecture Notes in Computer Science 4497, Springer Berlin/Heidelberg, 2007
RZ: a tool for bringing constructive and computable mathematics closer to programming practice –Andrej Bauer, Christopher A. Stone — 2007 — In Computability in Europe 2007