In Partnership with AOL
  • Uustalu, Tarmo - University of Minho - Proof theory, type theory, categorical logic, semantics of programming languages, formal methods of program transformation and construction.
Volunteer to edit this category.
Copyright © 1998-2015 AOL Inc. Terms of Use
Visit our sister sites | MusicMoz | Wikipedia

Last update: January 2, 2007 at 19:58:36 UTC - edit