Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-07-26 15:52 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
