A typed lambda-calculus with first-class configurations. - Abe, Tatsuya; Kimura, Daisuke (Journal of Logic & Computation, 2023)