All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:01, 24 December 2023 SatoshiNakamoto talk contribs created page Soft Linear Logic: A Language for Polynomial Time Computation (Created page with "Title: Soft Linear Logic: A Language for Polynomial Time Computation Abstract: Soft linear logic (SLL) is a subsystem of linear logic that can characterize the PTIME complexity class. This study introduces soft lambda-calculus, a typable calculus in the intuitionistic and affine variant of SLL. The main result is that the untyped terms of this calculus can be reduced in polynomial time. The type system of SLL is extended with recursive types, allowing for non-standard t...")