 Title: | 18th International Workshop on Types for Proofs and Programs (TYPES 2011) | Desc: | Proceedings of a meeting held 8-11 September 2011, Bergen, Norway.
| Series: | Leibniz International Proceedings in Informatics Volume 19 | Editor: | Danielsson, N. A. et al. | ISBN: | 9781627481434 | Pages: | 69 (1 Vol) | Format: | Softcover | TOC: | View Table of Contents | Publ: | Schloss Dagstuhl | POD Publ: | Curran Associates, Inc. ( Jul 2013 ) |
| |  |