Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Neil Ghani
Neil Ghani
Publications
Positive Inductive-Recursive Definitions. Neil Ghani, Fredrik Nordvall Forsberg, Lorenzo Malatesta. 2015.
Indexed Induction and Coinduction, Fibrationally. Neil Ghani, Patricia Johann, Clement Fumex. 2013.