Implicit coercions in type systems

Additional Metadata
MSC	Mechanization of proofs and logical operations (msc 03B35), Higher-order logic and type theory (msc 03B15), Logic in computer science (msc 03B70), Theory of computing (msc 68Qxx)
Publisher	Springer
Series	Lecture Notes in Computer Science
Conference	International Conference Types for Proofs and Programs
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Barthe, G. (1996). Implicit coercions in type systems. Types for Proofs and Programs 1995 (TYPES 9), 1–15.

Publication