Профессор Jan Willem Klop переслал набросок статьи Vincent van Oostrom, формально описывающей одношаговую рекурсивную стратегию для "Micro Lambda Calculus" с доказательством ее нормализующего свойства. Кроме уже упомянутых математиков, в списке "carbon copy" полученного недавно ответа стоял также адрес профессора Hendrik Pieter Barendregt:
( Текст письма )
( Текст письма )
