type transformation
university u
proof science
people languages
computer tarmo
programming people
u people
formal program
program methods
formal theory
University of Minho - Proof theory, type theory, categorical
logic, semantics of programming languages, formal methods of program transformation and construction
.
tarmo semantics
construction university
languages programming
people semantics
proof methods
type u
programming logic
Uustalu, Tarmo
semantics science
categorical university
www.cs.ioc.ee/~tarmo
logic computer
university program
