私が理解している限りでは、ほとんどすべての依存型付き言語は、変換可能性のために弱い頭部正規形を使用しています。なぜそうなのですか？変換可能性をチェックするだけで十分なのはなぜですか (私には十分ではないようです)。これについて何を読むことをお勧めしますか?
質問する
200 次
2 に答える
1
モデレーターは、この回答を上記とマージできます。これらはアルファベット順です。
- http: //www.informatik.uni-trier.de/~ley/pers/hd/j/Jutting:L=_S=_van_Benthem
- http://www.informatik.uni-trier.de/~ley/pers/hd/p/Pagano:ミゲル
- http://www.cs.le.ac.uk/people/ps56/publications.xml
- http://www.lix.polytechnique.fr/~vsiles/papers/
- http://www.cs.rhul.ac.uk/home/zhaohui/type.html
于 2014-03-24T21:18:57.420 に答える