The following pages link to lens (Q25589):
Displaying 5 items.
- Leveraging the information contained in theory presentations (Q2219380) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- Open Diagrams via Coend Calculus (Q5019661) (← links)
- Higher-Ranked Annotation Polymorphic Dependency Analysis (Q5041115) (← links)
- A representation theorem for second-order functionals (Q5371942) (← links)