Works matching IS 19725787 AND DT 2014 AND VI 7 AND IP 1

Results: 3
    1

    Relative monads formalised.

    Published in:
    Journal of Formalized Reasoning, 2014, v. 7, n. 1, p. 1
    By:
    • ALTENKIRCH, THORSTEN;
    • CHAPMAN, JAMES;
    • UUSTALU, TARMO
    Publication type:
    Article
    2
    3