Subtypes and bounded quantification from a fibred perspective

1995

Presented at the Conference on the Mathematical Foundations of Programming Semantics, New Orleans, LA

Additional Metadata
MSC	Programming languages (msc 68N15), Semantics (msc 68Q55)
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Conference	Conference on the Mathematical Foundations of Programming Semantics
Citation APA Style AAA Style APA 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	Jacobs, B. P. F. (1995). Subtypes and bounded quantification from a fibred perspective. In Electronic Notes in Theoretical Computer Science. Elsevier.

Additional Files
Publisher Version
2172D.pdf Final Version , 30mb

Publication