lens

swMATH13675MaRDI QIDQ25589FDOQ25589

Author name not available (Why is that?)

Cited In (5)

• Notions of Bidirectional Computation and Entangled State Monads
• Leveraging the information contained in theory presentations
• A representation theorem for second-order functionals
• Open Diagrams via Coend Calculus
• Higher-Ranked Annotation Polymorphic Dependency Analysis

This page was built for software: lens