Eduardo Giménez, Christine Paulin-Mohring, editors, Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers. Volume 1512 of Lecture Notes in Computer Science, Springer, 1998.
Conference: TYPES1998
@proceedings{types:1996, title = {Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers}, year = {1998}, researchr = {https://researchr.org/publication/types%3A1996}, cites = {0}, citedby = {0}, booktitle = {Types for Proofs and Programs, International Workshop TYPES 96, Aussois, France, December 15-19, 1996, Selected Papers}, conference = {TYPES}, editor = {Eduardo Giménez and Christine Paulin-Mohring}, volume = {1512}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65137-3}, }