Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science
Bibliographic Information
- Title
- "Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Proceedings, Springer Lecture Notes in Computer Science"
- Author
- Masahito Hasegawa (editor)
- Pagination
- 249
Search this Book/Journal
- Tweet
Details
-
- CRID
- 1020000782154328192
-
- Title Language Code
- ja
-
- Data Source
-
- KAKEN