IMDEA initiative
The information in this page may be outdated, as Noam Zeilberger is currently not a member of the Institute.
Theory of programming, logic and computation, category theory
