HKU PL Group
People Courses Seminars Theses Resources Join Us!

Labelling a type/proposition

Jinhao Tan

Thu, Feb 2 2023, 10:10 AM • CB308

HKU PL Group

  • Design based on plwonks
  • Contribute to this site
  • hkuplg

The Programming Languages Group at The University of Hong Kong