Showing 1 - 3 results of 3 for search 'MacQueen, David B.', query time: 0.04s 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
    Completeness of proof systems for equational specifications

    Completeness of proof systems for equational specifications by MacQueen, David B., Sannella, Donald T.

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

    Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages by MacQueen, David B

    Published 1998
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Post's problem for recursion in higher types

    Post's problem for recursion in higher types by MacQueen, David B.

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: