Pages that link to "Item:Q639643"
From MaRDI portal
The following pages link to Coalgebras in functional programming and type theory (Q639643):
Displaying 14 items.
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Types and coalgebraic structure (Q2577729) (← links)
- Coalgebras for binary methods: Properties of bisimulations and invariants (Q2747943) (← links)
- (Q2778813) (← links)
- Higher-order algebras and coalgebras from parameterized endofunctors (Q2919455) (← links)
- (Q3105114) (← links)
- Towards a Coalgebraic Chomsky Hierarchy (Q3190167) (← links)
- (Q3839054) (← links)
- (Q4256310) (← links)
- (Q4433992) (← links)
- Coalgebraic theories of sequences in PVS (Q4700096) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- (Q5216307) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)