Search Results - Gibbons, Jeremy

Jeremy Gibbons

Gibbons in 2023 Jeremy Gibbons is a computer scientist and professor of computing at the University of Oxford. He serves as Deputy Director of the Software Engineering Programme in the Department of Computer Science, Governing Body Fellow at Kellogg College and Pro-Proctor of the University of Oxford. Provided by Wikipedia
  • 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: