[1] E. Giménez and C. Paulin-Mohring, editors. Proceedings TYPES'96, volume 1512 of Lecture Notes in Computer Science. Springer, 1998. [ bib ]