University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Coinduction in Computable Analysis

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Coinduction in Computable Analysis

Add to your list(s) 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/05/22

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

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Data Visualization Series 2016 Economic and Social History Graduate Workshop Scott Polar Research Institute - other talks

Other talks

Discovering regulators of insulin output with flies and human islets: implications for diabetes and pancreas cancer MicroRNAs as circulating biomarkers in cancer Designer Babies or Children of Frankenstein? Genome Editing and its Side Effects Satellite Applications Catapult Quickfire Talks Graded linearisations for linear algebraic group actions From Euler to Poincare Unbiased Estimation of the Eigenvalues of Large Implicit Matrices Investigating the Functional Anatomy of Motion Processing Pathways in the Human Brain The frequency of ‘America’ in America Protein targeting within the chloroplast: a cell-biological view of starch biosynthesis
 

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