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

Related Projects

See more

Details 詳細情報について

  • CRID
    1020000782154328192
  • Title Language Code
    ja
  • Data Source
    • KAKEN
Back to top