Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
この論文をさがす
収録刊行物
-
- Theoretical Computer Science
-
Theoretical Computer Science 41 95-104, 1985
Elsevier BV
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1363670321174250624
-
- NII論文ID
- 30006151517
-
- NII書誌ID
- AA00862688
-
- ISSN
- 03043975
-
- データソース種別
-
- Crossref
- CiNii Articles