Showing 1 - 4 results of 4 for search 'Vrijer, Roel de', 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
    A geometric proof of confluence by decreasing diagrams

    A geometric proof of confluence by decreasing diagrams by Klop, Jan Willem 1945-, Oostrom, Vincent van, Vrijer, Roel de

    Published 2000
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Completing partial combinatory algebras with unique head normal forms

    Completing partial combinatory algebras with unique head normal forms by Bethke, Inge, Klop, Jan Willem 1945-, Vrijer, Roel de

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Unique normal forms for lambda calculus with surjective pairing

    Unique normal forms for lambda calculus with surjective pairing by Klop, Jan Willem 1945-, Vrijer, Roel de

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Surjective pairing and strong normalization two themes in lambda calculus

    Surjective pairing and strong normalization two themes in lambda calculus by Vrijer, Roel de

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: