\cleardoublepage \mychapter{واژه‌نامه انگلیسی به فارسی} \persiangloss{مجموعه جزئاً مرتب کامل جهت‌دار}{Dcpo} \persiangloss{فضای تابع}{Function Space} \persiangloss{اندازه }{Measure} \persiangloss{مرتب}{Ordered} \persiangloss{دامنه‌توانی}{Powerdomain} \persiangloss{احتمالی}{Probabilistic} \persiangloss{قطعه‌برنامه}{Program Fragment} \persiangloss{دامنه معنایی}{Semantic Domain} \persiangloss{پایدار}{Stably} \persiangloss{ارزیابی}{Valuation} \persiangloss{توپولوژی ضعیف}{Weak Topology}