Netvouz / AllanBaasch / folder / ADT http://netvouz.com/AllanBaasch/folder/5768161521685672431/Miscellaneous+A+-+G+ADT?feed=rss AllanBaasch's bookmarks in folder ADT on Netvouz Abstract data type http://en.wikipedia.org/wiki/Abstract_data_type Wikipedia, the free encyclopedia Miscellaneous > A - G > ADT AllanBaasch Sun, 17 Feb 2008 08:49:00 GMT CategoryType theory http://en.wikipedia.org/wiki/Category:Type_theory Wikipedia, the free encyclopedia Miscellaneous > A - G > ADT AllanBaasch Sun, 17 Feb 2008 08:49:00 GMT Curry-Èoward http://en.wikipedia.org/wiki/Curry_Howard_isomorphism Wikipedia, the free encyclopedia Miscellaneous > A - G > ADT AllanBaasch Sun, 17 Feb 2008 08:49:00 GMT