Talk:Recursive data type
|WikiProject Computer science|
The theory part of this article is unfortunately rich in technical notation and jargon without references within Wikipedia or citations of references. It would be a significant task to fill in Wikipedia with appropriate information, but it would be very desirable to refer to external sources.
This subject is outside my real competence, but it looks like John Mitchell's book "Foundations for Programming Languages" would be a reasonable reference for some of the concepts and notation including the μ operator.