Aurelio Carboni, Peter J. Freyd, Andre Scedrov. A Categorical Approach to Realizability and Polymorphic Types. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Volume 298 of Lecture Notes in Computer Science, pages 23-42, Springer, 1987.
No references recorded for this publication.
No citations of this publication recorded.