University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Computational content of coinductive proofs (Interest Group in Formal Mathematics)

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani .

Semantics and Syntax: A Legacy of Alan Turing

2012/03/15

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Churchill Undergraduate Physics Seminars Online - email hmh46@cam.ac.uk or gevm2@cam.ac.uk for the login details Climate change

Other talks

Title to be confirmed Title to be confirmed Packing the Border: Quail Crates and the Regulation of Animal Movement on the US-Mexico Border, 1910s-1940s Title to be confirmed Haematology and Palliative Care Good and Evil Plasma Cells: Guardians & Saboteurs of Immunity
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity