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.
Sunday, January 11, 2009
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment