1995
Subtypes and bounded quantification from a fibred perspective
Publication
Publication
Electronic Notes in Theoretical Computer Science Issue 1
Presented at the
Conference on the Mathematical Foundations of Programming Semantics, New Orleans, LA
Additional Metadata | |
---|---|
, | |
Elsevier | |
Electronic Notes in Theoretical Computer Science | |
Conference on the Mathematical Foundations of Programming Semantics | |
Jacobs, B. P. F. (1995). Subtypes and bounded quantification from a fibred perspective. In Electronic Notes in Theoretical Computer Science. Elsevier. |