Small induction recursion P Hancock, C McBride, N Ghani, L Malatesta, T Altenkirch Typed Lambda Calculi and Applications: 11th International Conference, TLCA …, 2013 | 27 | 2013 |
Fibred data types N Ghani, L Malatesta, FN Forsberg, A Setzer 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 243-252, 2013 | 10 | 2013 |
Positive inductive-recursive definitions N Ghani, FN Forsberg, L Malatesta Logical Methods in Computer Science 11, 2015 | 9 | 2015 |
Small induction recursion, indexed containers and dependent polynomials are equivalent, 2013 L Malatesta, T Altenkirch, N Ghani, P Hancock, C McBride 11th International Conference on Typed Lambda Calculi and Applications, TLCA, 2013 | 7 | 2013 |
Small induction recursion, indexed containers and dependent polynomials are equivalent L Malatesta, T Altenkirch, N Ghani, P Hancock, C McBride Submitted for publication 35, 2012 | 5 | 2012 |
Investigations into inductive-recursive definitions L Malatesta University of Strathclyde, 2015 | 3 | 2015 |
Some proposals for the set-theoretic foundations of category theory L Malatesta Rivista Italiana di Filosofia Analitica Junior 2 (2), 41-58, 2011 | 3 | 2011 |
Some proposals for the set-theoretic foundations of category theory L Malatesta Rivista Italiana di Filosofia Analitica Junior 9 (2), 117-137, 2018 | | 2018 |
Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). ISSN 1860-5974, http://dx. doi. org/10.2168/LMCS N Ghani, F Nordvall Forsberg, L Malatesta | | |