Equality between Functionals in the Presence of Coproducts. Dougherty, D. J.\ and Subrahmanyam, R. 1995.
bibtex   
@conference{ c_lics95,
  title = {Equality between Functionals in the Presence of
                  Coproducts},
  author = {Daniel J.\ Dougherty and Ramesh Subrahmanyam},
  pages = {282--291},
  booktitle = {Proc.\, Tenth Annual {IEEE} Symposium on Logic
                  in Computer Science},
  year = {1995},
  address = {San Diego, California},
  organization = {IEEE Computer Society Press},
  abstract = {}
}
Downloads: 0