All Stories

  1. A modal proof theory for final polynomial coalgebras

    Article • Theoretical Computer Science, August 2006, Elsevier

    David Friggens

  2. 2004 Annual Conference of the Australasian Association for Logic

    Article • Bulletin of Symbolic Logic, September 2004, Cambridge University Press

    David Friggens