Menu

C. Barry Jay

7 published titles

Fixpoint and loop constructions as colimits

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

Modelling reduction in confluent categories

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

Long [beta] [eta] normal forms and confluence

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

Tail recursion via universal invariants

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

Coherence in category theory and the Church-Rosser property

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1991
  • Details

Tail recursion through universal invariants

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1992
  • Details

The virtues of eta-expansion

1 edition

  • LFCS, Dept. of Computer Science, University of Edinburgh
  • 1992
  • Details

obnb.uk is a Good Stuff website.