On the unity of duality N Zeilberger
Annals of pure and applied logic 153 (1-3), 66-96, 2008
101 2008 The logical basis of evaluation order and pattern-matching N Zeilberger
Carnegie Mellon University, 2009
86 2009 Functors are type refinement systems PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
85 2015 Focusing and higher-order abstract syntax N Zeilberger
ACM SIGPLAN Notices 43 (1), 359-369, 2008
67 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
41 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 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
20 2016 Connected chord diagrams and bridgeless maps J Courtiel, K Yeats, N Zeilberger
arXiv preprint arXiv:1611.04611, 2016
19 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 Refinement types and computational duality N Zeilberger
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
17 2009 A sequent calculus for a semi-associative law N Zeilberger
Logical Methods in Computer Science 15, 2019
15 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
12 2018 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
12 2007 Eilenberg-Kelly Reloaded T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 233-256, 2020
9 2020 Parsing as a lifting problem and the Chomsky-Sch\" utzenberger representation theorem PA Melliès, N Zeilberger
Electronic Notes in Theoretical Informatics and Computer Science 1, 2023
8 2023 Counting isomorphism classes of -normal linear lambda terms N Zeilberger
arXiv preprint arXiv:1509.07596, 2015
6 2015 An Isbell Duality Theorem for Type Refinement Systems PA Melliès, N Zeilberger
arXiv preprint arXiv:1501.05115, 2015
6 * 2015 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