MLL
Другие языки
- 乘法线性逻辑
- 乘法線性邏輯
- Multiplicative Linear Logic
- Logique linéaire multiplicative
- Lógica lineal multiplicativa
- Lógica Linear Multiplicativa
- мультипликативная линейная логика
- ضرب المنطق الخطي
- Multiplikative lineare Logik
- 乗法線形論理
- 곱셈 선형 논리
- ตรรกศาสตร์เชิงเส้นของการคูณ