The following pages link to (Q4331824):
Displaying 48 items.
- Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- (Q2980971) (← links)
- A Single Complete Relational Rule for Coalgebraic Refinement (Q2994487) (← links)
- Type Fusion (Q3067469) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- The HOL-Omega Logic (Q3183533) (← links)
- Cardinality in Allegories (Q3498420) (← links)
- An Ordered Category of Processes (Q3498427) (← links)
- Zippy Tabulations of Recursive Functions (Q3521982) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- Libraries for Generic Programming in Haskell (Q3649135) (← links)
- (Q3707343) (← links)
- Program algebras of recursive functions (Q4341956) (← links)
- (Q4353627) (← links)
- Contributions to a computational theory of policy advice and avoidability (Q4577808) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4738114) (← links)
- Process Calculi à la Bird-Meertens (Q4917032) (← links)
- When is a function a fold or an unfold? (Q4917036) (← links)
- Stably Compact Spaces and Closed Relations (Q4917058) (← links)
- (Q4934619) (← links)
- (Q5009703) (← links)
- Extensional equality preservation and verified generic programming (Q5019020) (← links)
- A greedy algorithm for dropping digits (Q5020906) (← links)
- Longest segment of balanced parentheses: an exercise in program inversion in a segment problem (Q5020908) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- High-level signatures and initial semantics (Q5079724) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)
- Indexed containers (Q5371943) (← links)
- Interleaving data and effects (Q5371955) (← links)
- Calculating a linear-time solution to the densest-segment problem (Q5371958) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- Denotation by Transformation (Q5504595) (← links)
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} (Q5919026) (← links)
- Fusion of recursive programs with computational effects (Q5941164) (← links)
- (Q6068932) (← links)
- On difunctions (Q6113019) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
- Recursion schemes in Coq (Q6536316) (← links)
- Determinism of multirelations (Q6561345) (← links)
- Why adjunctions matter -- a functional programmer perspective (Q6562512) (← links)
- Relation-algebraic verification of disjoint-set forests (Q6614547) (← links)
