-
Bib ID# 40783
ISBN: 9783642216916
UPC: 10.1007/978-3-642-21691-6
Title: Typed Lambda Calculi and Applications10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Author: Ong, Luke.
Publication Info:
Item Type: Language material