Kamusta - The Pinoy Web Directory - Philippines : Computers : Computer

[ifrss] [ifrss]

Melibea Web Directory | Save your Bookmarks

Sites:

» Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.

This category needs an editor

Last Updated:

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

The content of this directory is based on the Open Directory