You are here: irt.org | FOLDOC | reflexive domain
A domain satisfying a recursive domain equation. E.g. D = D -> D.
Nearby terms: Refined C « Refined Fortran « reflexive « reflexive domain » Reflexive transitive closure » RefLisp » refresh
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL