EscardóのPCF +タイムアウトのメトリックセマンティクスは完全に抽象的ですか？

1999年のワークショップ論文「A Metric Model of PCF」で、MartínEscardóは、完全なウルトラメトリック空間と非拡張マップのカテゴリでPCFの簡単な解釈を行うことができることを示しました。

彼は、このモデルが適切であり、タイムアウト構成の追加をモデル化できることを示しました（つまり、一定の数のステップに対して引数を実行し、内部で終了できなかった場合に応答を返すかエラーを通知する演算子）制限時間）。その後、メトリックモデルがPCF +タイムアウトに関して完全に抽象的であるかどうかを調査するのが自然であると提案しました。

1. 誰かがこれを調査しましたか？もしそうなら、答えは何ですか？
2. PCF +タイムアウトは、チューリングマシンと同じ機能を実現しますか？

（余談ですが、テキストにアクセントを付けるにはどうすればいいですか？彼の姓と名の両方からアクセントを落としました。編集：名前を修正しました。センス。）

2番目の質問については、高次型については、PCF + timeoutがType 2 Effectivity（無限の入力とアウトパスを持つチューリングマシン）、つまりKleeneの2番目の部分組み合わせ代数に相当するかどうかと密接に関連していることを覚えているようです。ジョン・ロングリーはしばらくの間、クレーネの2番目の代数はPCF +タイムアウト+キャッチと同等であると主張したが、最終的には詳細な結果を公表することはなかった。

一方、John Longley opus magnum 「特定の全型構造の遍在について」（Mathematical Structures in Computer Science 17（5）（2007）、841--953）は、高次の機能がPCF +タイムアウトで定義できるのは、まさに遺伝的に効果的なものです。