Search Results - Gibbons, Jeremy

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    The Generic Approximation Lemma

    The Generic Approximation Lemma by Hutton, Graham, Gibbons, Jeremy

    Published 2001
    Get full text
  2. 2
    Proof Methods for Corecursive Programs

    Proof Methods for Corecursive Programs by Hutton, Graham, Gibbons, Jeremy

    Published 2005
    Get full text
  3. 3
    Proof methods for structured corecursive programs

    Proof methods for structured corecursive programs by Gibbons, Jeremy, Hutton, Graham

    Published 1999
    Get full text
  4. 4
    When is a function a fold or an unfold?

    When is a function a fold or an unfold? by Gibbons, Jeremy, Hutton, Graham, Altenkirch, Thorsten

    Published 2001
    Get full text
  5. 5
    First-past-the-post games

    First-past-the-post games by Backhouse, Roland

    Published 2012
    Other Authors: “…Gibbons, Jeremy…”
    Get full text

Search Tools: