Higher-Order and Symbolic Computation

, Volume 19, Issue 2, pp 167–168

Editorial

Authors

  • Furio Honsell
    • University of Udine
  • Carolyn Talcott
    • SRI International
Article

DOI: 10.1007/s10990-006-8744-8

Cite this article as:
Honsell, F. & Talcott, C. Higher-Order Symb Comput (2006) 19: 167. doi:10.1007/s10990-006-8744-8
  • 14 Views

Copyright information

© Springer Science + Business Media, LLC 2006