Journal of Functional Programming (2004), 14 : 21-68 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S0956796803004854 (About doi)
Published online by Cambridge University Press 14 Jan 2004
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=192407
Copy and paste this citation
CHRISTOPH KREITZ
(2004).
Building reliable, high-performance networks with the Nuprl proof development system. Journal of Functional Programming,
14
,
pp 21-68
doi:10.1017/S0956796803004854
doi:10.1017/S0956796803004854
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
