Treffer 1 – 6 von 6 für Suche 'Hindley, James Roger', Suchdauer: 0,05s 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
    Basic simple type theory

    Basic simple type theory von Hindley, James Roger

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Lamdba-calculus and combinators an introduction

    Lamdba-calculus and combinators an introduction von Hindley, James Roger, Seldin, Jonathan P.

    Veröffentlicht 2008
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Lambda-calculus and combinators an introduction

    Lambda-calculus and combinators an introduction von Hindley, James Roger, Seldin, Jonathan P.

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Basic simple type theory

    Basic simple type theory von Hindley, James Roger

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Introduction to combinators and l-calculus

    Introduction to combinators and l-calculus von Hindley, James Roger

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Introduction to combinatory logic

    Introduction to combinatory logic von Hindley, James Roger 1939-, Lercher, Bruce L., Seldin, Jonathan P.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: