Sekirov Dictionary

type theory

noun1

A branch of mathematical logic and theoretical computer science concerned with types.

forms

type theories

This dictionary works without the internet: on your phone · in Chrome