Showing 1 - 2 results of 2 for search 'Noam Zeilberger', query time: 0.02s Refine Results
  1. 1
    A sequent calculus for a semi-associative law

    A sequent calculus for a semi-associative law by Noam Zeilberger

    Published 2019-02-01
    Get full text
    Article
  2. 2
    A correspondence between rooted planar maps and normal planar lambda terms

    A correspondence between rooted planar maps and normal planar lambda terms by Noam Zeilberger, Alain Giorgetti

    Published 2015-09-01
    Get full text
    Article

Search Tools: