问题标签 [undecidable-instances]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
11 问题
0
投票
0
回答
7
浏览
logic - 高阶统一的不可判定性示例
你能举一个例子来证明高阶统一的不可判定性吗？例如，请举一个例子说明 lambda 演算中的统一是不可判定的。