The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Skip to content



Computational content of coinductive proofs (Interest Group in Formal Mathematics)

Schwichtenberg, H (Ludwig-Maximilians-Universität München)
Thursday 15 March 2012, 13:30-15:00

Seminar Room 1, Newton Institute

Back to top ∧