domain theory

Türkçe: bölge teorisi

Açıklama: Alan teorisi; hesaplanabilirlik için semantik yapı