תורת הטיפוסים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ רובוט מוסיף: ja:型理論 |
מ בוט מוסיף: eo:Tipa teorio |
||
שורה 9:
[[en:Type theory]]
[[de:Typentheorie]]
[[eo:Tipa teorio]]
[[fr:Théorie des types]]
[[it:Teoria dei tipi]]
| |||
מ רובוט מוסיף: ja:型理論 |
מ בוט מוסיף: eo:Tipa teorio |
||
שורה 9:
[[en:Type theory]]
[[de:Typentheorie]]
[[eo:Tipa teorio]]
[[fr:Théorie des types]]
[[it:Teoria dei tipi]]
| |||