Suchergebnisse - Neil Ghani

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
Liste   Tabellenansicht  
  1. 1

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

    Veröffentlicht 2012-06-01
    Volltext
    Artigo
    Zu den Favoriten
    Gespeichert in:
  2. 2

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

    Veröffentlicht 2009-09-01
    Volltext
    Artigo
    Zu den Favoriten
    Gespeichert in:
  3. 3

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

    Veröffentlicht 2013-08-01
    Volltext
    Artigo
    Zu den Favoriten
    Gespeichert in:
  4. 4

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

    Veröffentlicht 2012-06-01
    Volltext
    Artigo
    Zu den Favoriten
    Gespeichert in:
  5. 5

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

    Veröffentlicht 2015-03-01
    Volltext
    Artigo
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: