Suchergebnisse - Barendregt, Hendrik P. 1947-

  • Treffer 1 – 17 von 17
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2013
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2012
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    The incompleteness theorems
    von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1976
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1973
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2013
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Computable processes
    von Barendregt, Hendrik P. 1947-

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1973
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1971
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 2001
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    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


    Gespeichert in:

Suchwerkzeuge: