February 25th, 2016, 08:46 pm (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. Tags maps, math