A Syntax for Mutual Inductive Families.

Ambrus KaposiJakob von Raumer
Published in: FSCD (2020)
Keyphrases