Положительное решение открытого вопроса в "Micro Lambda Calculus"

[codedot]

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

Dear Anton,

I'm very sorry this answer took me so long. I myself have right now
nothing to contribute w.r.t your recent questions, except as an intermediary
person. A couple of weeks ago, Vincent van Oostrom happened to give
a seminar talk in our project Infinity, with a nice survey on things relating
to 'micro lambda calculus', explicit substitutions etc. As it seemed to me
that some of his results could be relevant for you, I mentioned our
correspondence that you had around that time with Henk Barendregt and me,
including some python file, which I showed to Vincent. He subsequently
sent me his enclosed note. The reason for part of the delay in my answer to you
was that I had mislaid Vincent's message and note, but he kindly has sent it again
to me.

Hopely it is of service to you. I hope you and Vincent can have a fruitful
further contact about this matter! And of course both Henk and me will
be interested to keep being informed about possible developments!

With friendly regards,

Jan Willem (Klop)