نظریه نوعها: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات افزودن: en:Type theory |
جز ربات افزودن: ar:نظرية النمط |
||
خط ۱۵:
[[رده:علوم رایانه]]
[[ar:نظرية النمط]]
[[de:Typentheorie]]
[[en:Type theory]]
| |||
جز ربات افزودن: en:Type theory |
جز ربات افزودن: ar:نظرية النمط |
||
خط ۱۵:
[[رده:علوم رایانه]]
[[ar:نظرية النمط]]
[[de:Typentheorie]]
[[en:Type theory]]
| |||