A New Proof of P-time Completeness of Linear Lambda Calculus
classification
💻 cs.LO
cs.PL
keywords
proofcalculuscompletenesslambdalinearmairsonp-timetype
read the original abstract
We give a new proof of P-time completeness of Linear Lambda Calculus, which was originally given by H. Mairson in 2003. Our proof uses an essentially different Boolean type from the type Mairson used. Moreover the correctness of our proof can be machined-checked using an implementation of Standard ML.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.