Of possible interest to bitc's original goals:
http://www.church-project.org/reports/Taha+Ellner+Xi:EMSOFT-2003.html
(Thanks to Eric Drexler for the link.)
-- Text by me above is hereby placed in the public domain
Cheers,
--MarkM_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
