Noam Zeilberger
Title
Cited by
Cited by
Year
On the unity of duality
N Zeilberger
Annals of Pure and Applied Logic 153 (1-3), 66-96, 2008
862008
The logical basis of evaluation order and pattern-matching
N Zeilberger
Carnegie Mellon University, 2009
792009
Functors are type refinement systems
PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
562015
Focusing and higher-order abstract syntax
N Zeilberger
ACM SIGPLAN Notices 43 (1), 359-369, 2008
552008
Focusing on binding and computation
DR Licata, N Zeilberger, R Harper
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 241-252, 2008
482008
A correspondence between rooted planar maps and normal planar lambda terms
N Zeilberger, A Giorgetti
arXiv preprint arXiv:1408.5028, 2014
292014
Polarity and the logic of delimited continuations
N Zeilberger
2010 25th Annual IEEE Symposium on Logic in Computer Science, 219-227, 2010
212010
Linear lambda terms as invariants of rooted trivalent maps
N Zeilberger
Journal of functional programming 26, 2016
192016
Connected chord diagrams and bridgeless maps
J Courtiel, K Yeats, N Zeilberger
arXiv preprint arXiv:1611.04611, 2016
152016
Refinement types and computational duality
N Zeilberger
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
142009
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
122007
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
92016
The sequent calculus of skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 377-406, 2021
82021
A sequent calculus for a semi-associative law
N Zeilberger
Logical Methods in Computer Science 15, 2019
72019
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
62018
Certified binaries for software components
S Chaki, J Ivers, P Lee, K Wallnau, N Zeilberger
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2007
62007
Counting isomorphism classes of -normal linear lambda terms
N Zeilberger
arXiv preprint arXiv:1509.07596, 2015
52015
Proof theory of partially normal skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.10487, 2021
32021
An Isbell Duality Theorem for Type Refinement Systems
PA Melliès, N Zeilberger
arXiv preprint arXiv:1501.05115, 2015
3*2015
Balanced polymorphism and linear lambda calculus
N Zeilberger
Talk at TYPES, 2015
32015
The system can't perform the operation now. Try again later.
Articles 1–20