«inter-type unification»

inter-type unification в энциклопедиях