 | 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 ) |
| |  |
