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