syn·thet·ic
Search or jump to…
Ctrl+K
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.