Treffer 1 – 2 von 2 für Suche 'Hindley, Roger', Suchdauer: 0,02s 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
    Combinatory reductions and lambda reductions

    Combinatory reductions and lambda reductions von Hindley, Roger

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Some remarks about the connections between combinatory logic and axiomatic recursion theory

    Some remarks about the connections between combinatory logic and axiomatic recursion theory von Hindley, Roger, Mitschke, Gerd

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: