Publication | Closed Access
The formal theory of monads
338
Citations
0
References
1972
Year
Algebraic LogicEngineeringAutomated ReasoningType TheoryFormal MethodsFormal TheoryFunctional Programming Language
No additional data available for this publication yet. Check back later!