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

SAS

Seminar

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 ∧