The following pages link to Computer Science Logic (Q5311256):
Displaying 10 items.
- Map fusion for nested datatypes in intensional type theory (Q627204) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Type fixpoints, iteration vs. recursion (Q2817715) (← links)
- (Q3138542) (← links)
- (Q3142168) (← links)
- (Q4993349) (← links)
- Martin Hofmann's Case for Non-Strictly Positive Data Types (Q5091141) (← links)
- Efficiency of lambda-encodings in total type theory (Q5371961) (← links)
- The calculus of dependent lambda eliminations (Q5372010) (← links)