Treffer 1 – 8 von 8 für Suche 'Wadsworth, Christopher P.', 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
    Edinburgh LCF a mechanised logic of computation

    Edinburgh LCF a mechanised logic of computation von Gordon, Michael J. C. 1948-, Milner, Arthur, Wadsworth, Christopher P.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Semantics and pragmatics of the Lambda-calculus

    Semantics and pragmatics of the Lambda-calculus von Wadsworth, Christopher P.

    Veröffentlicht 1971
    Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Edinburgh LCF a mechanised logic of computation

    Edinburgh LCF a mechanised logic of computation von Gordon, Michael J. C. 1948-, Milner, Arthur, Wadsworth, Christopher P.

    Veröffentlicht 1979
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Edinburgh LCF

    Edinburgh LCF von Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Edinburgh LCF

    Edinburgh LCF von Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Edinburgh LCF

    Edinburgh LCF von Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Continuations a mathematical semantics for handling full jumps

    Continuations a mathematical semantics for handling full jumps von Strachey, Christopher, Wadsworth, Christopher P.

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Semantics and pragmatics of the lambda calculus

    Semantics and pragmatics of the lambda calculus von Wadsworth, Christopher P.

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: