University of Minnesota Twin Cities PL Seminar

2023-02-14 Talk: Unification of lambda-terms

February 14, 2024
  • Paper: Dale Miller and Gopalan Nadathur. Programming with Higher-Order Logic, Ch. 8.
  • Speaker: Nathan Guermond
  • Location: Keller 5-212
  • Time: 10:00-11:00 am