Pages that link to "Item:Q3507459"

The following pages link to Recursion on Nested Datatypes in Dependent Type Theory (Q3507459):

Displaying 2 items.

• Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
• Nested abstract syntax in Coq (Q1945918) (← links)