?

Log in

No account? Create an account
Finally figured out how to write down the plain syntactic form of the… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Mar. 9th, 2016|08:53 pm]
Jason
[Tags|]

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.
LinkReply