Searching for "Equational Axiomatization of Bicoercibility for Polymorphic Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Equational Axiomatization of Bicoercibility for Polymorphic Types
by Jerzy Tiuryn — 1995 — 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
…Equational Axiomatization of Bicoercibility for Polymorphic Types Jerzy Tiuryn Institute…
Cited by 8 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB