University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Generic pattern unification: a categorical approach

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Generic pattern unification: a categorical approach

Download to your calendar using vCal

  • UserAmbroise Lafont, University of Cambridge
  • ClockFriday 21 October 2022, 14:00-15:00
  • HouseSS03.

If you have a question about this talk, please contact Jamie Vicary .

We provide a generic categorical setting for Miller’s pattern unification. The syntax with metavariables is generated by a free monad applied to finite coproducts of representable functors; the most general unifier is computed as a coequaliser in the Kleisli category restricted to such coproducts. Our setting handles simply-typed second-order syntax, linear syntax, or (intrinsic) polymorphic syntax such as system F.

(joint work with Neel Krishnaswami)

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Max Perutz Lecture Theatre, LMB Thomas Lecture Theatre, Sanger Building Technology Enterprise Group Seminar Series

Other talks

Title and abstract tba Title TBC Title to be confirmed Science & the Public in Action: Can and should climate scientists be activists? Talk TBC The United States of America at 250: Reflections on the Past, Present and Future of Independence
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity