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
1072008
Functors are type refinement systems
PA Melliès, N Zeilberger
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
902015
The logical basis of evaluation order and pattern-matching
N Zeilberger
Carnegie Mellon University, 2009
902009
Focusing and higher-order abstract syntax
N Zeilberger
ACM SIGPLAN Notices 43 (1), 359-369, 2008
712008
Focusing on binding and computation
DR Licata, N Zeilberger, R Harper
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 241-252, 2008
512008
A correspondence between rooted planar maps and normal planar lambda terms
N Zeilberger, A Giorgetti
arXiv preprint arXiv:1408.5028, 2014
392014
Linear lambda terms as invariants of rooted trivalent maps
N Zeilberger
Journal of functional programming 26, e21, 2016
262016
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
252016
Connected chord diagrams and bridgeless maps
J Courtiel, K Yeats, N Zeilberger
arXiv preprint arXiv:1611.04611, 2016
232016
The sequent calculus of skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 341, 345-370, 2018
222018
Polarity and the logic of delimited continuations
N Zeilberger
2010 25th Annual IEEE Symposium on Logic in Computer Science, 219-227, 2010
222010
A sequent calculus for a semi-associative law
N Zeilberger
Logical Methods in Computer Science 15, 2019
192019
Refinement types and computational duality
N Zeilberger
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
172009
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
132018
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
122007
Eilenberg-kelly reloaded
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 233-256, 2020
112020
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
102023
Proof theory of partially normal skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.10487, 2021
82021
Deductive systems and coherence for skew prounital closed categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.03809, 2021
82021
Bifibrations of polycategories and classical linear logic
N Blanco, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 29-52, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–20