Light types for polynomial time computation in lambda-calculus
書誌事項
- タイトル
- Light types for polynomial time computation in lambda-calculus
- 著者
- P.Baillot, K.Terui
収録刊行物
-
- Proceedings of LICS 2004 19
-
Proceedings of LICS 2004 19 266-275, 2004