Concepedia
Publication | Closed Access
The formal theory of monads II
520
Citations
12
References
2002
Year
Algebraic LogicEngineeringAutomated ReasoningType TheoryFormal MethodsFormal TheoryFunctional Programming Language
Page 1