|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
A categorical view of classical lambda calculus
If you have a question about this talk, please contact Julia Goedecke.
Abstract not available
This talk is part of the Category Theory Seminar series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsClare Hall Science, Technology and Mathematics Education (STeM) Group Seminars French Graduate Research Seminar 2008/2009
Other talksAnnual Conversazione White dwarf cooling: electron-phonon coupling and the metallization of solid helium Drosophila as a model to study innate immunity Provocation and imagination: reading Brazilian Children's literature Bad Moves: How decision making goes wrong and the ethics of smart drugs’ Cambridge Assessment Network: Standard setting and maintaining using expert judgement