{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:24Z","timestamp":1761596784668,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2001.932498","type":"proceedings-article","created":{"date-parts":[[2002,11,13]],"date-time":"2002-11-13T16:02:21Z","timestamp":1037203341000},"page":"209-220","source":"Crossref","is-referenced-by-count":17,"title":["Light affine lambda calculus and polytime strong normalization"],"prefix":"10.1109","author":[{"given":"K.","family":"Terui","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2700"},{"key":"ref11","article-title":"Type Systems for Polynomial-Time Computation","author":"hofmann","year":"1998","journal-title":"Habilitationsschrift"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00177-3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1038"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48168-0_7"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037112"},{"key":"ref16","first-page":"320","article-title":"Ramified recurrence and computational complexity I: Word recurrence and poly-time","author":"leivant","year":"1994","journal-title":"Feasible Mathematics II"},{"key":"ref17","article-title":"Can safe recursion be interpreted in light logic?","author":"murawski","year":"2000","journal-title":"Presented at the Second International Workshop on Implicit Computational Complexity"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44622-2_29"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48168-0_33"},{"journal-title":"Stratified coherent spaces a denotational semantics for light linear logic Presented at the Second International Workshop on Implicit Computational Complexity","year":"2000","author":"baillot","key":"ref4"},{"journal-title":"Intuitionistic light affine logic (proof-nets normalization complexity expressive power programming notation) Submitted","year":"2000","author":"asperti","key":"ref3"},{"key":"ref6","first-page":"117","article-title":"Lambda calculi with types","volume":"2","author":"barendregt","year":"1992","journal-title":"Handbook of Logic in Computer Science"},{"journal-title":"The Lambda Calculus Its Syntax and Semantics","year":"1981","author":"barendregt","key":"ref5"},{"key":"ref8","article-title":"Ramification, modality and linearity in higher type recursion","author":"bellantoni","year":"1999","journal-title":"Presented at the First International Workshop on Implicit Computational Complexity"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201998"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1998.705666"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90181-R"},{"key":"ref9","article-title":"Light linear logic","author":"girard","year":"1995","journal-title":"Manuscript"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054100000077"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316068"},{"key":"ref21","article-title":"A syntax for linear logic","author":"wadler","year":"1993","journal-title":"Proc MFPS 93"}],"event":{"name":"16th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-01","location":"Boston, MA, USA"},"container-title":["Proceedings 16th Annual IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7424\/20180\/00932498.pdf?arnumber=932498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T16:56:04Z","timestamp":1489164964000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/932498\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/lics.2001.932498","relation":{},"subject":[]}}