Treffer 1 – 2 von 2 für Suche 'Mendler, N. P.', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Recursive definitions in type theory

    Recursive definitions in type theory von Constable, Robert Lee 1952-, Mendler, N. P.

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    First and second order lambda calculi with recursive types

    First and second order lambda calculi with recursive types von Mendler, N. P.

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: