\chapter*{واژه‌نامه انگلیسی به فارسی}\markboth{واژه‌نامه انگلیسی به فارسی}{واژه‌نامه انگلیسی به فارسی} \addcontentsline{toc}{chapter}{واژه‌نامه انگلیسی به فارسی} \thispagestyle{empty} \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}