![]() |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Concise - a synthesis of types, grammars, semantics
![]() Concise - a synthesis of types, grammars, semanticsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact info@newton.ac.uk. BPR - Big proof (joint work with Peter Schodl, Ferenc Domes, Kevin Kofler, Andreas Pichler, and David Langer, Vienna)
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 listsNew Era in Russian Politics: Mayoral Campaign of Alexey Navalny Winton Journal Club BiologyOther talksHigh-Dimensional Collocation for Lognormal Diffusion Problems Transcription by influenza virus RNA polymerase: molecular mechanisms, cellular aspects and inhibition Renationalisation of the Railways. A CU Railway Club Public Debate. Localization and chiral splitting in scattering amplitudes To be confirmed Panel Discussion: Climate Change Is Now |