Pages that link to "Item:Q5166623"
From MaRDI portal
The following pages link to Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (Q5166623):
Displaying 7 items.
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- Implication via spacetime (Q2658280) (← links)
- Composable Discovery Engines for Interactive Theorem Proving (Q3088022) (← links)
- (Q3384908) (← links)
- Notions of computation as monoids (Q4625158) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
- (Q6068938) (← links)