Follow
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
882008
The logical basis of evaluation order and pattern-matching
N Zeilberger
Carnegie Mellon University, 2009
812009
Functors are type refinement systems
PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
662015
Focusing and higher-order abstract syntax
N Zeilberger
ACM SIGPLAN Notices 43 (1), 359-369, 2008
562008
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
302014
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
202016
Connected chord diagrams and bridgeless maps
J Courtiel, K Yeats, N Zeilberger
arXiv preprint arXiv:1611.04611, 2016
162016
Refinement types and computational duality
N Zeilberger
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
142009
The sequent calculus of skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 341, 345-370, 2018
132018
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
132007
A sequent calculus for a semi-associative law
N Zeilberger
Logical Methods in Computer Science 15, 2019
102019
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
92018
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
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
42021
Deductive systems and coherence for skew prounital closed categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.03809, 2021
42021
Eilenberg-Kelly Reloaded
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 233-256, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20