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 |