Pages that link to "Item:Q4713399"
From MaRDI portal
The following pages link to A category-theoretic account of program modules (Q4713399):
Displaying 16 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Notions of computation and monads (Q757075) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Modular design of domain-specific languages using splittings of catamorphisms (Q1623119) (← links)
- Equilogical spaces (Q1826625) (← links)
- The simplicial model of univalent foundations (after Voevodsky) (Q2031691) (← links)
- Indexed categories for program development (Q3986546) (← links)
- (Q4222943) (← links)
- (Q4327836) (← links)
- Invariants of monadic coalgebras (Q4917042) (← links)
- Presenting a Category Modulo a Rewriting System (Q5277873) (← links)
- Algebra and Coalgebra in Computer Science (Q5492828) (← links)
- On cubism (Q5687906) (← links)
- A 2-categorical analysis of context comprehension (Q6634618) (← links)