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:28, 24 December 2023 SatoshiNakamoto talk contribs created page Patrick Baillot (Created page with "Title: Patrick Baillot Research Question: How can we create a type system for lambda-calculus that ensures well-typed programs can be executed in polynomial time? Methodology: The authors proposed a new type system called Dual Light Affine Logic (DLAL). It is a simplified version of Light Affine Logic (LAL), which is a logical system designed to characterize polynomial time computation. DLAL uses a linear and intuitionistic type arrow, and one modality. It corresponds...")