Curry Howard Correspondence Hands-on

Date: 10:15 06/08-12
Location: Turing-014
Host(s): Christian Clausen

Evaluation

Login to evaluate.