On the unity of duality N Zeilberger Annals of pure and applied logic 153 (1-3), 66-96, 2008 | 88 | 2008 |

The logical basis of evaluation order and pattern-matching N Zeilberger Carnegie Mellon University, 2009 | 82 | 2009 |

Functors are type refinement systems PA Melliès, N Zeilberger Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 61 | 2015 |

Focusing and higher-order abstract syntax N Zeilberger ACM SIGPLAN Notices 43 (1), 359-369, 2008 | 56 | 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 | 48 | 2008 |

A correspondence between rooted planar maps and normal planar lambda terms N Zeilberger, A Giorgetti arXiv preprint arXiv:1408.5028, 2014 | 29 | 2014 |

Polarity and the logic of delimited continuations N Zeilberger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 219-227, 2010 | 21 | 2010 |

Linear lambda terms as invariants of rooted trivalent maps N Zeilberger Journal of functional programming 26, 2016 | 20 | 2016 |

Connected chord diagrams and bridgeless maps J Courtiel, K Yeats, N Zeilberger arXiv preprint arXiv:1611.04611, 2016 | 16 | 2016 |

Refinement types and computational duality N Zeilberger Proceedings of the 3rd workshop on Programming languages meets program …, 2009 | 14 | 2009 |

The sequent calculus of skew monoidal categories T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 341, 345-370, 2018 | 13 | 2018 |

Model-driven construction of certified binaries S Chaki, J Ivers, P Lee, K Wallnau, N Zeilberger International Conference on Model Driven Engineering Languages and Systems …, 2007 | 13 | 2007 |

A sequent calculus for a semi-associative law N Zeilberger Logical Methods in Computer Science 15, 2019 | 10 | 2019 |

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 | 9 | 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 | 9 | 2016 |

Certified binaries for software components S Chaki, J Ivers, P Lee, K Wallnau, N Zeilberger CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2007 | 6 | 2007 |

Counting isomorphism classes of -normal linear lambda terms N Zeilberger arXiv preprint arXiv:1509.07596, 2015 | 5 | 2015 |

Proof theory of partially normal skew monoidal categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.10487, 2021 | 4 | 2021 |

Deductive systems and coherence for skew prounital closed categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.03809, 2021 | 4 | 2021 |

Eilenberg-Kelly Reloaded T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 352, 233-256, 2020 | 3 | 2020 |