Light types for polynomial time computation in lambda-calculus
Bibliographic Information
- Title
- Light types for polynomial time computation in lambda-calculus
- Author
- P.Baillot, K.Terui
Journal
-
- Proceedings of LICS 2004 19
-
Proceedings of LICS 2004 19 266-275, 2004
- Tweet
Details
-
- CRID
- 1010282256866329221
-
- Article Type
- journal article
-
- Data Source
-
- KAKEN