The theory of semi-functors
R Hoofman - Mathematical Structures in Computer Science, 1993 - cambridge.org
The notion of semi-functor was introduced in Hayashi (1985) in order to make possible a
category-theoretical characterization of models of the non-extensional typed lambda …
category-theoretical characterization of models of the non-extensional typed lambda …
[引用][C] The Theory of Semi-Functors
R HOOFMAN - Mathematical Structures in Computer Science, 1993 - cir.nii.ac.jp
The Theory of Semi-Functors | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ
] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす 日本の博士論文を …
] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす 日本の博士論文を …
The theory of semi-functors.
R Hoofman - Mathematical Structures in Computer Science, 1993 - search.ebscohost.com
The notion of semi-functor was introduced in Hayashi (1985) in order to make possible a
category-theoretical characterization of models of the non-extensional typed lambda …
category-theoretical characterization of models of the non-extensional typed lambda …
The theory of semi-functors
R Hoofman, R Hoofman, M Plantage - 1993 - arch.neicon.ru
The notion of semi-functor was introduced in Hayashi (1985) in order to make possible a
category-theoretical characterization of models of the non-extensional typed lambda …
category-theoretical characterization of models of the non-extensional typed lambda …
The theory of semi-functors
R Hoofman - Mathematical Structures in Computer Science, 1993 - cambridge.org
The notion of semi-functor was introduced in Hayashi (1985) in order to make possible a
category-theoretical characterization of models of the non-extensional typed lambda …
category-theoretical characterization of models of the non-extensional typed lambda …