Formal systems that classify terms by type, providing the syntactic foundations for lambda calculi, proof theory, and the typed operators used in semiotic structures.
Formal systems that classify terms by type, providing the syntactic foundations for lambda calculi, proof theory, and the typed operators used in semiotic structures.
2 items under this folder.