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:31, 24 December 2023 SatoshiNakamoto talk contribs created page Polymorphic Lemmas and Definitions in λProlog and Twelf (Created page with "Title: Polymorphic Lemmas and Definitions in λProlog and Twelf Research Question: How can we implement polymorphic lemmas and definitions in λProlog and Twelf, two popular higher-order logic programming languages? Methodology: We encoded a higher-order logic using an encoding that maps both terms and types of the object logic (higher-order logic) to terms of the metalanguage (λProlog). We discussed both the Terzo and Teyjus implementations of λProlog and compared...")