Showing 1 - 4 results of 4 for search 'Patricia Johann', query time: 0.02s
Refine Results
-
1
Parametricity for Nested Types and GADTs by Patricia Johann, Enrico Ghiorzi
Published 2021-12-01
Article -
2
Refining Inductive Types by Robert Atkey, Patricia Johann, Neil Ghani
Published 2012-06-01
Article -
3
Indexed Induction and Coinduction, Fibrationally by Neil Ghani, Patricia Johann, Clement Fumex
Published 2013-08-01
Article -
4
Generic Fibrational Induction by Neil Ghani, Patricia Johann, Clement Fumex
Published 2012-06-01
Article