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 INI IT. 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 listsCambridge University User Experience Cambridge Canadian Club Events Special Lecture New 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 Panel Discussion: Climate Change Is Now |