Skip to content

Type Theory And Logic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Type Theory And Logic.

  • Empty type — A type with no inhabitants, representing falsehood under Curry–Howard and serving as the codomain from which negation and ex falso elimination are defined.