reflexive domaincomputing dictionary

A domain satisfying a recursive domain equation. E.g. D = D -> D.

(03 Feb 2009)