Editorial

Higher-Order and Symbolic Computation - Tập 19 - Trang 167-168 - 2006
Furio Honsell1, Carolyn Talcott2
1University of Udine, Italy
2SRI International, Menlo Park, USA