• somali somalia
Please bear with us as the site is going through many changes ranging from backend software upgrades to new design.
Some sections may become inaccesible in the next few weeks.
  FEEDBACK | OLD FRONT PAGE
 
NEW SECTION

TEST DRIVE SOMALINET VIDEOS SECTION!!!

SEARCH DIRECTORY


fopen(dir_cache/33bdc4092a9db4ed14804d9a58477f56) [function.fopen]: failed to open stream: Permission deniedError writing to cache!
[ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z ]
  • Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor