Type theory: Revision history

21 February 2024

• curprev 16:5416:54, 21 February 2024‎ 𝗔𝗿𝗰𝗵𝗮𝗻𝗴𝗲𝗹 talk contribs‎ m 533 bytes −166‎ Text replacement - "\[\[Category(.*) of (.*)\]\]" to ""

13 February 2023

• curprev 17:5417:54, 13 February 2023‎ Bacchus talk contribs‎ m 699 bytes +42‎ Text replacement - "science" to "Science Category:Science"

9 February 2023

• curprev 20:1120:11, 9 February 2023‎ Bacchus talk contribs‎ m 657 bytes +16‎ Text replacement - "theory" to "theory"

17 December 2022

• curprev 13:4113:41, 17 December 2022‎ Bacchus talk contribs‎ 641 bytes +641‎ 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..."