Search dblp for Publications

export results for "toc:db/conf/floc/rsa1999.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Abramsky99,
  author       = {Samson Abramsky},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Process Realizability},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00099-4},
  doi          = {10.1016/S1571-0661(04)00099-4},
  timestamp    = {Tue, 22 Nov 2022 15:04:18 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Abramsky99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Artemov99,
  author       = {Sergei N. Art{\"{e}}mov},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Uniform provability realization of intuitionistic logic, modality
                  and lambda-terms},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {3--12},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00100-8},
  doi          = {10.1016/S1571-0661(04)00100-8},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Artemov99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AwodeyBS99,
  author       = {Steven Awodey and
                  Lars Birkedal and
                  Dana S. Scott},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Local Realizability Toposes and a Modal Logic for Computability},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {13--26},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00101-X},
  doi          = {10.1016/S1571-0661(04)00101-X},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AwodeyBS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Berger99,
  author       = {Ulrich Berger},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Effectivity and Density in Domains: {A} Survey},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {27--39},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00102-1},
  doi          = {10.1016/S1571-0661(04)00102-1},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Berger99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Birkedal99,
  author       = {Lars Birkedal},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Bibliography on Realizability},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {40--57},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00103-3},
  doi          = {10.1016/S1571-0661(04)00103-3},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Birkedal99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BirkedalORS99,
  author       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Preface},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {189--190},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80553-5},
  doi          = {10.1016/S1571-0661(05)80553-5},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BirkedalORS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Crolard99,
  author       = {Tristan Crolard},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {A type theory which is complete for Kreisel's modified realizability},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {58--73},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00104-5},
  doi          = {10.1016/S1571-0661(04)00104-5},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Crolard99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hyland99,
  author       = {Martin Hyland},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Variations on Realizability: Simple examples realizing axioms of choice},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {166--188},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00110-0},
  doi          = {10.1016/S1571-0661(04)00110-0},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hyland99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Longley99,
  author       = {John Longley},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Matching typed and untyped realizability},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {74--100},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00105-7},
  doi          = {10.1016/S1571-0661(04)00105-7},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Longley99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Oosten99,
  author       = {Jaap van Oosten},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {History and Developments},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {101--110},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00106-9},
  doi          = {10.1016/S1571-0661(04)00106-9},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Oosten99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pitts99,
  author       = {Andrew M. Pitts},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Tripos Theory in Retrospect},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {111--127},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00107-0},
  doi          = {10.1016/S1571-0661(04)00107-0},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pitts99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Reus99,
  author       = {Bernhard Reus},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Realizability Models for Type Theories},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {128--158},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00108-2},
  doi          = {10.1016/S1571-0661(04)00108-2},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Reus99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RosoliniS99,
  author       = {Giuseppe Rosolini and
                  Thomas Streicher},
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Comparing models of higher type computation},
  booktitle    = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  pages        = {159--165},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(04)00109-4},
  doi          = {10.1016/S1571-0661(04)00109-4},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/RosoliniS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/floc/1999rsa,
  editor       = {Lars Birkedal and
                  Jaap van Oosten and
                  Giuseppe Rosolini and
                  Dana S. Scott},
  title        = {Tutorial Workshop on Realizability Semantics and Applications, associated
                  to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June
                  30 - July 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {23},
  number       = {1},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/23/issue/1},
  timestamp    = {Tue, 22 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/floc/1999rsa.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics