Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial Intelligence

Jürgen Kunze and Herbert Stoyan (Editors)
Andreas Weber
In proceedings of KI-94 Workshops - Extended Abstracts, pages 319-320, Gesellschaft für Informatik e.V., Bonn, Sept. 1994
 

Bibtex

@INPROCEEDINGS{Weber94c,
     author = {Weber, Andreas},
     editor = {Kunze, J{\"u}rgen and Stoyan, Herbert},
      pages = {319--320},
      title = {Coercions and Subtyping: Some Type-theoretic Investigations between Computer Algebra and Artificial
               Intelligence},
  booktitle = {KI-94 Workshops - Extended Abstracts},
       year = {1994},
      month = sep,
  publisher = {Gesellschaft f{\"u}r Informatik e.V., Bonn}
}