New results on linear/modal lambda calculus: Higher Result types and recursion on trees (1998)

by M Hofmann