skip to content
 

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

Presented by: 
H Schwichtenberg Ludwig-Maximilians-Universität München
Date: 
Thursday 15th March 2012 - 13:30 to 15:00
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons