Editorial

Author information

Authors and Affiliations

1. Universidad Complutense de Madrid, Madrid, Spain

   Narciso Martí-Oliet

2. University of Illinois at Urbana-Champaign, Illinois, USA

   Grigore Roşu

3. SRI International, Menlo Park, California, USA

   Carolyn Talcott

Authors

1. Narciso Martí-Oliet
   View author publications

   You can also search for this author in PubMed Google Scholar

2. Grigore Roşu
   View author publications

   You can also search for this author in PubMed Google Scholar

3. Carolyn Talcott
   View author publications

   You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Narciso Martí-Oliet.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Martí-Oliet, N., Roşu, G. & Talcott, C. Editorial. Higher-Order Symb Comput 20, 1–2 (2007). https://doi.org/10.1007/s10990-007-9005-1

Download citation

• Published: 17 February 2007

• Issue Date: June 2007

• DOI: https://doi.org/10.1007/s10990-007-9005-1

Keywords

• Dependent Type
• Cryptographic Protocol
• Constraint Domain
• Declarative Semantic
• Matching Constraint