search

Inductive type

Inductive typesarrow-up-right

https://en.wikipedia.org/wiki/Intuitionistic_type_theory#Inductive_typesarrow-up-right

PreviousInductive definitionNextIntuitionistic type theory

Last updated