External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Theory Presentation Combinators

Jacques Carette, Russell O'Connor. Theory Presentation Combinators. In Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, editors, Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. Volume 7362 of Lecture Notes in Computer Science, pages 202-215, Springer, 2012. [doi]

Authors

Jacques Carette

This author has not been identified. Look up 'Jacques Carette' in Google

Russell O'Connor

This author has not been identified. Look up 'Russell O'Connor' in Google
runs on