Topology in Computer Science Problems

Dieter Spreen, Holger Schulz, Edited D Spreen, Sent In Michael Bukatin

msra（2000）

引用 23|浏览1

暂无评分

摘要

N.Pro ve(orrefute) that A isisoTNj hictoa set o fixedpoints osoj ScoR co tinuo stransfo?RzTR1 oP .(Forthecountable case, theproblem isposed as an1exercise in "Lambda Calculus"textbo ok by Barendregt,butno body seemsto know theso lution,soit is likely that theproblemshould beconsideredopen evenforthecountable case.)3 A problem in doma5 theorySent in byRalphKummetzLet(D,#)beadcpoandletF be a directedfamilyoScoR?co ntinuousmaps f : D-#D...

查看译文

关键词

lambda calculus

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要