# Recursive type

> 타입 이론에서 자기 스스로를 지칭하여 정의된 타입을 귀납 타입이라고 한다.

[타입 이론](https://wiki.g15e.com/pages/Type%20theory.txt)에서 자기 스스로를 지칭하여 정의된 타입을 귀납 타입이라고 한다.