Sunday, January 11, 2009

Formal foundations of programming learning group

I've announced creation of Formal foundations of programming learning group in Odessa.

List of topics includes proof and type theory, different kinds of λ-calculus, category theory, programming languages semantics etc.

No comments: