%0 Book
%A Thierry Coquand...]et al.[, )Eds.(
%T Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
%U /book/101383039/Types-for-proofs-and-programs-International-Works/