BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Lab Lunch
SUMMARY:Some enumerative\, topological\, and algebraic asp
ects of linear lambda calculus - Noam Zeilberger\,
SoCS UoB
DTSTART:20170406T110000Z
DTEND:20170406T120000Z
UID:TALK2478AT
URL:/talk/index/2478
DESCRIPTION:Enumeration of graphs on surfaces (or "maps") is a
n active topic of\nresearch in combinatorics\, wit
h links to wide-ranging domains such as\nalgebraic
geometry\, knot theory\, and mathematical physics
. Recently\,\nit has been found that map enumerati
on is also apparently closely\nrelated to the comb
inatorics of lambda calculus\, with various\nwell-
known families of maps in bijective correspondence
with various\nnatural families of linear lambda t
erms. In the talk I will begin by\ngiving a brief
survey of these enumerative connections\, then use
those\nto motivate a closer look at the surprisin
gly rich topological and\nalgebraic properties of
linear lambda calculus.\n
LOCATION:CS 217
CONTACT:Dr Steve Vickers
END:VEVENT
END:VCALENDAR