Logic-CSE303-

Research Project on the bijections between rooted planar maps, normal planar lambda terms, and ordered linear logic

Report guidelines - 7 pages excluding first page, index, figures, and images.