Showing 1 - 2 results of 2 for search 'Capretta, Venanzio', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming

    Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming by Capretta, Venanzio

    Published 2010
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

    Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

    Published 2024
    Other Authors: “…Capretta, Venanzio…”

    Get full text Get full text
    Electronic eBook


    Saved in:

Search Tools: