March 9th, 2016

beartato phd

(no subject)

Finally figured out how to write down the plain syntactic form of the inverse of the function from planar maps to normal ordered lambda terms. Still a mystery how to generalize it to the nonplanar case.