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

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

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

Results: 1 2

( Add Your Site )

» Advertising » Affiliate Program » Business » Computers » Construction » Consulting » Education » Entertainment » Financial Services » Food » Forum » Furniture » Gambling » Games » Garden » Graphic Design » Hardware » Health » Home » Human Resources » Internet » ISP » Law » Marketing » Mortgage

» Music » News » Others » Personal Site » Portal » Real Estate » Recreation » Search Engine Optimization » Security » Shopping » Society » Software » Sports » Telecommunications » Transportation » Travel » Web Design » Web Hosting Directory » Web Hosting Guide » Web Hosting Providers » Web Hosting Reviews » Web Marketing » Web Template » Webmaster Resources » World