Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. 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

Additional Resources