Monotone recursive types and recursive data representations in Cedille.

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases