processing...
home
authors
Neil Ghani
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
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.