U:
Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Suggested link
|
War in Iraq Focus on the war in Iraq: development since the Persian Gulf war, military build-up, weapons of mass destruction, UN Security Council, organizations, in memoriam sites, news and media, activism, anti-war movement, human rights. www.war-in-iraq.info |
