University of Birmingham > Talks@bham > Lab Lunch > Some enumerative, topological, and algebraic aspects of linear lambda calculus

## Some enumerative, topological, and algebraic aspects of linear lambda calculusAdd to your list(s) Download to your calendar using vCal - Noam Zeilberger, SoCS UoB
- Thursday 06 April 2017, 12:00-13:00
- CS 217.
If you have a question about this talk, please contact Dr Steve Vickers. Enumeration of graphs on surfaces (or “maps”) is an active topic of research in combinatorics, with links to wide-ranging domains such as algebraic geometry, knot theory, and mathematical physics. Recently, it has been found that map enumeration is also apparently closely related to the combinatorics of lambda calculus, with various well-known families of maps in bijective correspondence with various natural families of linear lambda terms. In the talk I will begin by giving a brief survey of these enumerative connections, then use those to motivate a closer look at the surprisingly rich topological and algebraic properties of linear lambda calculus. This talk is part of the Lab Lunch series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsdddd Filling in the blank – I will be ….... in 2050’ Contemporary History## Other talksThe Lanczos Algorithm: Complementing Your Approximations - Part 2 Privileged side-channel attacks for enclave adversaries Evolutionary Population Synthesis Photoactive Metal Complexes as Cell Probes, Therapeutics, and Theranostics ‘Using Consumer-Physics-Chemistry Interactions and Microstructural Design for Better Products’ Irradiated brown dwarfs: Providing insights into exoplanet atmospheres |