Showing 1 - 5 results of 5 for search 'Neil Ghani', query time: 0.02s Refine Results
  1. 1
    Refining Inductive Types

    Refining Inductive Types by Robert Atkey, Patricia Johann, Neil Ghani

    Published 2012-06-01
    Get full text
    Article
  2. 2
    Representations of Stream Processors Using Nested Fixed Points

    Representations of Stream Processors Using Nested Fixed Points by Neil Ghani, Peter Hancock, Dirk Pattinson

    Published 2009-09-01
    Get full text
    Article
  3. 3
    Indexed Induction and Coinduction, Fibrationally

    Indexed Induction and Coinduction, Fibrationally by Neil Ghani, Patricia Johann, Clement Fumex

    Published 2013-08-01
    Get full text
    Article
  4. 4
    Generic Fibrational Induction

    Generic Fibrational Induction by Neil Ghani, Patricia Johann, Clement Fumex

    Published 2012-06-01
    Get full text
    Article
  5. 5
    Positive Inductive-Recursive Definitions

    Positive Inductive-Recursive Definitions by Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta

    Published 2015-03-01
    Get full text
    Article

Search Tools: