Suchergebnisse - Wadsworth, Christopher P.

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

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

    Veröffentlicht 1979
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Edinburgh LCF
    Band 2 - Appendices and index
    von Gordon, Michael J. C. 1948-, Milner, Robin 1934-2010, Wadsworth, Christopher P.

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1971
    Microform Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1974
    Buch


    Gespeichert in:

Suchwerkzeuge: