?

Log in

No account? Create an account
Figured out a purely syntactic translation from "trinity" lambda… - Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

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

[Feb. 25th, 2016|08:46 pm]
Jason
[Tags|, ]

Figured out a purely syntactic translation from "trinity" lambda terms to normal ordered lambda terms. Still puzzling over how to formulate the inverse, but I'm pretty convinced it ought to be doable.
LinkReply