Logic And Computation

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Logic And Computation.

• Type theory — The family of formal systems that classify expressions by types and govern how typed terms may be formed, transformed and interpreted.