Strong Reduction for Typed Lambda Calculus with First-Class Environments. - Shin-ya Nishizaki; Mizuki Fujii (ICICA (LNCS), 2012)