Login / Signup

Data Types as Quotients of Polynomial Functors.

Jeremy AvigadMario CarneiroSimon Hudon
Published in: ITP (2019)
Keyphrases