Overview
Typed Lambda Calculi and Applications: 11th International Conference, Tlca 2013, Eindhoven, the Netherlands, June 26-28, 2013, Proceedings
- | Author: Masahito Hasegawa
- | Publisher: Springer
- | Publication Date: Jun 06, 2013
- | Number of Pages: 251 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3642389457
- | ISBN-13: 9783642389450