Polarity and the Logic of Delimited Continuations
Zeilberger, N
Published in 2010 25th Annual IEEE Symposium on Logic in Computer Science (01.01.2010)
Published in 2010 25th Annual IEEE Symposium on Logic in Computer Science (01.01.2010)
Get full text
Conference Proceeding
Connected Chord Diagrams and Bridgeless Maps
Courtiel, Julien, Yeats, Karen, Zeilberger, Noam
Published in The Electronic journal of combinatorics (22.11.2019)
Published in The Electronic journal of combinatorics (22.11.2019)
Get full text
Journal Article
Sampling β-normal linear λ-terms
Bodini, Olivier, Singh, Alexandros, Zeilberger, Noam
Published in Pure mathematics and applications (01.06.2022)
Published in Pure mathematics and applications (01.06.2022)
Get full text
Journal Article
Proof Theory of Partially Normal Skew Monoidal Categories
Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam
Published in Electronic proceedings in theoretical computer science (08.02.2021)
Published in Electronic proceedings in theoretical computer science (08.02.2021)
Get full text
Journal Article
Deductive Systems and Coherence for Skew Prounital Closed Categories
Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam
Published in Electronic proceedings in theoretical computer science (12.01.2021)
Published in Electronic proceedings in theoretical computer science (12.01.2021)
Get full text
Journal Article
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Mellies, Paul-Andre, Zeilberger, Noam
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
Bifibrations of Polycategories and Classical Linear Logic
Blanco, Nicolas, Zeilberger, Noam
Published in Electronic Notes in Theoretical Computer Science (01.10.2020)
Published in Electronic Notes in Theoretical Computer Science (01.10.2020)
Get full text
Journal Article
Conference Proceeding
An Isbell duality theorem for type refinement systems
MELLIÈS, PAUL-ANDRÉ, ZEILBERGER, NOAM
Published in Mathematical structures in computer science (01.06.2018)
Published in Mathematical structures in computer science (01.06.2018)
Get full text
Journal Article
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
Melliès, Paul-André, Zeilberger, Noam
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding