Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 2011, proceedings
Author(s)
Bibliographic Information
Typed lambda calculi and applications : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 2011, proceedings
（Lecture notes in computer science, 6690 . Advanced Research in Computing and Software Science）
Springer, c2011
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
