Treffer 1 – 4 von 4 für Suche 'Barendregt, Hendrik Pieter', 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
    Some extensional Term Models for combinatory logics and lambda-calculi

    Some extensional Term Models for combinatory logics and lambda-calculi von Barendregt, Hendrik Pieter

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The lambda calculus

    The lambda calculus von Barendregt, Hendrik Pieter

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Some extensional Term Models for combinatory logics and lambda-calculi

    Some extensional Term Models for combinatory logics and lambda-calculi von Barendregt, Hendrik Pieter

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Some extensional Term Models for combinatory logics and lambda-calculi

    Some extensional Term Models for combinatory logics and lambda-calculi von Barendregt, Hendrik Pieter

    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: