Proceedings of the Tutorial Workshop on Realizability Semantics and Applications: held June 30 and July 1, 1999 in Trento, Italy, as one of the satellite workshops associated to the Federated Logic Conference

Research output: Book/anthology/dissertation/reportAnthologyResearch

  • Lars Birkedal (Editor)
  • Giuseppe Rosolini, Denmark
  • Dana S. Scott, School of Computer Science, Unknown
  • Jaap van Oosten, Netherlands
Original languageEnglish
PublisherElsevier
Number of pages110
Publication statusPublished - 2002
Externally publishedYes
SeriesMathematical Structures in Computer Science
Number3, special issue
Volume12
ISSN0960-1295

See relations at Aarhus University Citationformats

ID: 81929094