Browsing Oberwolfach Reports by Workshop Code "0512"
Now showing items 1-1 of 1
-
0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
[OWR-2005-14] (2005) - (20 Mar - 26 Mar 2005)The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.