Баррал, Ф., Д. Шемуи, и С.В. Соловьев. 2005. «Non-Standard Reductions and Categorical Models in Typed Lambda-Calculus.». Логические исследования 12 (ноябрь), 300-315. https://doi.org/10.21146/2074-1472-2005-12-0-300-315.