All public logs

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

• 14:41, 17 December 2022 Bacchus talk contribs created page Type theory (Created page with "The topic of ''type theory'' is fundamental both in logic and computer science. We limit ourselves here to sketch some aspects that are important in logic. For the importance of types in computer science, for instance: # Reynolds 1983 and 1985. # Paradoxes and Russell's Type Theories # Simple Type Theory and the λ -Calculus. Church's type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but...")