-
Bib ID# 37545
ISBN: 9783642022739
UPC: 10.1007/978-3-642-02273-9
Title: Typed Lambda Calculi and Applications9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Author: Curien, Pierre-Louis.
Publication Info:
Item Type: Language material