添加的内容 删除的内容
小 （机器人：清理不当的来源、移除无用的模板参数） |
小 （→外部链接：20） |
||
| 第43行： | 第43行： | ||
* [http://rtaloop.mancoosi.univ-paris-diderot.fr/ RTA列表的开放问题] - [[重写逻辑]]中的开放问题。 |
* [http://rtaloop.mancoosi.univ-paris-diderot.fr/ RTA列表的开放问题] - [[重写逻辑]]中的开放问题。 |
||
* [http://tlca.di.unito.it/opltlca/ TLCA列表的开放问题] - [[有类型λ演算]]领域中的开放问题。 |
* [http://tlca.di.unito.it/opltlca/ TLCA列表的开放问题] - [[有类型λ演算]]领域中的开放问题。 |
||
{{未解決的科學問題}} |
{{未解決的科學問題}} |
||