Formalising exact arithmetic in type theory (2005)

Cached

Download Links

by Milad Niqui
Venue:New Computational Paradigms: First Conference on Computability in Europe, CiE 2005
Citations:3 - 0 self