While loops as tracesLast updated Sep 8, 2023Tags: partial function, Trace References:Geometry of Interaction and Linear Combinatory Algebras (Abramsky, Haghverdi, Scott)
