Cartesian closed categories

Noun

form-of plural

plural of Cartesian closed category

Japanese Meaning

カルテジアン閉圏の複数形

Several widely studied Cartesian closed categories provide the semantic foundation for simply typed lambda calculus.

いくつかの広く研究されているカルテシアン閉圏は、単純型ラムダ計算の意味論的基盤を提供する。

Sense（1）

plural of Cartesian closed category