Hostname: page-component-745bb68f8f-g4j75 Total loading time: 0 Render date: 2025-01-22T13:38:09.481Z Has data issue: false hasContentIssue false
  • English
  • Français

Foreword

Published online by Cambridge University Press:  06 August 2002

Lars Birkedal ,
Giuseppe Rosolini ,
Dana S. Scott  and
Jaap van Oosten
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

This special issue of Mathematical Structures in Computer Science contains the final Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, which was held between June 30 and July 1, 1999 in Trento, Italy, as one of the satellite workshops associated to the Federated Logic Conference.

Type
Editorial
Information
Mathematical Structures in Computer Science , Volume 12 , Issue 3 , June 2002 , pp. 237 - 238
Copyright
© 2002 Cambridge University Press