(no subject)
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.
By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement
