Higher-Order and Symbolic Computation

, Volume 19, Issue 2, pp 167–168

Editorial

  • Furio Honsell
  • Carolyn Talcott
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
  • 15 Downloads

Copyright information

© Springer Science + Business Media, LLC 2006

Authors and Affiliations

  • Furio Honsell
    • 1
  • Carolyn Talcott
    • 2
  1. 1.University of UdineItaly
  2. 2.SRI InternationalMenlo ParkUSA