Pages that link to "Item:Q1094129"
From MaRDI portal
The following pages link to Categorical aspects of data type constructors (Q1094129):
Displaying 5 items.
- A generalization of the concept of sketch (Q916772) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- (Q3986951) (← links)
- (Q4339951) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
