Concepedia
Publication | Closed Access
Generalising monads to arrows
514
Citations
9
References
2000
Year
EngineeringAutomated ReasoningFormal MethodsComputer ScienceCategorical LogicCategorical ModelFunctional Programming Language
Page 1