| On the unity of duality N Zeilberger Annals of pure and applied logic 153 (1-3), 66-96, 2008 | 98 | 2008 |
| The logical basis of evaluation order and pattern-matching N Zeilberger Carnegie Mellon University, 2009 | 85 | 2009 |
| Functors are type refinement systems PA Melliès, N Zeilberger Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 82 | 2015 |
| Focusing and higher-order abstract syntax N Zeilberger ACM SIGPLAN Notices 43 (1), 359-369, 2008 | 65 | 2008 |
| Focusing on binding and computation DR Licata, N Zeilberger, R Harper 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 241-252, 2008 | 50 | 2008 |
| A correspondence between rooted planar maps and normal planar lambda terms N Zeilberger, A Giorgetti arXiv preprint arXiv:1408.5028, 2014 | 39 | 2014 |
| Linear lambda terms as invariants of rooted trivalent maps N Zeilberger Journal of functional programming 26, e21, 2016 | 25 | 2016 |
| Polarity and the logic of delimited continuations N Zeilberger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 219-227, 2010 | 22 | 2010 |
| Connected chord diagrams and bridgeless maps J Courtiel, K Yeats, N Zeilberger arXiv preprint arXiv:1611.04611, 2016 | 20 | 2016 |
| The sequent calculus of skew monoidal categories T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 341, 345-370, 2018 | 18 | 2018 |
| A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine PA Melliès, N Zeilberger Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 16 | 2016 |
| Refinement types and computational duality N Zeilberger Proceedings of the 3rd workshop on Programming languages meets program …, 2009 | 16 | 2009 |
| A sequent calculus for a semi-associative law N Zeilberger Logical Methods in Computer Science 15, 2019 | 13 | 2019 |
| Model-driven construction of certified binaries S Chaki, J Ivers, P Lee, K Wallnau, N Zeilberger Model Driven Engineering Languages and Systems: 10th International …, 2007 | 13 | 2007 |
| A theory of linear typings as flows on 3-valent graphs N Zeilberger Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 12 | 2018 |
| Certified binaries for software components S Chaki, J Ivers, P Lee, K Wallnau, N Zeilberger Results of SEI Independent Research and Development Projects, 23, 2007 | 6 | 2007 |
| Proof theory of partially normal skew monoidal categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.10487, 2021 | 5 | 2021 |
| Deductive systems and coherence for skew prounital closed categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.03809, 2021 | 5 | 2021 |
| Counting isomorphism classes of -normal linear lambda terms N Zeilberger arXiv preprint arXiv:1509.07596, 2015 | 5 | 2015 |
| An Isbell Duality Theorem for Type Refinement Systems PA Melliès, N Zeilberger arXiv preprint arXiv:1501.05115, 2015 | 5* | 2015 |
