Thomas Leventis, Incompleteness of classes of models of the λ-calculus (suite)

Programme