Equational Axiomatization of Bicoercibility for Polymorphic Types (1995)

Cached

Download Links

by Jerzy Tiuryn
Venue:Proceedings of the 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, P.S. Thiagarajan, ed., Lecture Notes in Computer Science 1026
Citations:8 - 1 self