Jason (jcreed) wrote,
Jason
jcreed

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.
Tags: math
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments