Tags: partial function, Trace References: Geometry of Interaction and Linear Combinatory Algebras (Abramsky, Haghverdi, Scott)
