Treffer 1 – 17 von 17 für Suche 'Barendregt, Hendrik P. 1947-', Suchdauer: 0,06s 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
    Lambda Calculus with Types

    Lambda Calculus with Types von Barendregt, Hendrik P. 1947-, Dekkers, Wil, Statman, Rick

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


    Gespeichert in:
  2. 2
    Computable processes

    Computable processes von Barendregt, Hendrik P. 1947-, Wupper, Hanno, Mulder, Hans

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Computable processes

    Computable processes von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    The lambda calculus its syntax and semantics

    The lambda calculus its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The Lambda calculus its syntax and semantics

    The Lambda calculus its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The lambda calculus its syntax and semantics

    The lambda calculus its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The Lambda Calculus, its syntax and semantics

    The Lambda Calculus, its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 2012
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    The incompleteness theorems

    The incompleteness theorems von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Combinatory logic and the omega-rule

    Combinatory logic and the omega-rule von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A global representation of the recursive functions in the lambda-calculus

    A global representation of the recursive functions in the lambda-calculus von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Some extensional term models for combinatory logics and lambda-calculi

    Some extensional term models for combinatory logics and lambda-calculi von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    On the interpretation of terms without a normal form (preliminary version)

    On the interpretation of terms without a normal form (preliminary version) von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1971
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A Lambda Calculus Satellite

    A Lambda Calculus Satellite von Barendregt, Hendrik P. 1947-

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Lambda Calculus with Types

    Lambda Calculus with Types von Barendregt, Hendrik P. 1947-, Dekkers, Wil, Statman, Richard

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    The lambda calculus its syntax and semantics

    The lambda calculus its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 2001
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Termination for direct sums of left-linear complete term rewriting systems

    Termination for direct sums of left-linear complete term rewriting systems von Toyama, Yoshihito, Klop, Jan Willem 1945-, Barendregt, Hendrik P. 1947-

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    The Lambda Calculus its syntax and semantics

    The Lambda Calculus its syntax and semantics von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: