February 25th, 2016

beartato phd

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