Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science
書誌事項
- タイトル
- "Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science"
- 著者
- Masahito Hasegawa (editor)
- ページ数
- 249
この図書・雑誌をさがす
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1020000782154328192
-
- タイトル言語コード
- ja
-
- データソース種別
-
- KAKEN