Login / Signup

Bialgebraic Reasoning on Higher-order Program Equivalence.

Sergey GoncharovStefan MiliusStelios TsampasHenning Urbat
Published in: LICS (2024)
Keyphrases