default search action

combined dblp search
author search
venue search
publication search

ask others

Tutorial Workshop on Realizability Semantics and Applications@FLoC 1999: Trento, Italy

> Home > Conferences and Workshops > FLoC

Refine list

refinements active!

zoomed in on 14 of 14 records

view refined list in

export refined list as

showing all 14 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/floc/1999rsa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/floc/1999rsa
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott:
Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999. Electronic Notes in Theoretical Computer Science 23(1), Elsevier 1999
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Abramsky99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Abramsky99
Samson Abramsky:
Process Realizability. 1-2
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Artemov99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Artemov99
Sergei N. Artëmov:
Uniform provability realization of intuitionistic logic, modality and lambda-terms. 3-12
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AwodeyBS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AwodeyBS99
Steven Awodey, Lars Birkedal, Dana S. Scott:
Local Realizability Toposes and a Modal Logic for Computability. 13-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Berger99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Berger99
Ulrich Berger:
Effectivity and Density in Domains: A Survey. 27-39
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Birkedal99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Birkedal99
Lars Birkedal:
Bibliography on Realizability. 40-57
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Crolard99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Crolard99
Tristan Crolard:
A type theory which is complete for Kreisel's modified realizability. 58-73
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Longley99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Longley99
John Longley:
Matching typed and untyped realizability. 74-100
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Oosten99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Oosten99
Jaap van Oosten:
History and Developments. 101-110
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pitts99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pitts99
Andrew M. Pitts:
Tripos Theory in Retrospect. 111-127
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Reus99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Reus99
Bernhard Reus:
Realizability Models for Type Theories. 128-158
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RosoliniS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RosoliniS99
Giuseppe Rosolini, Thomas Streicher:
Comparing models of higher type computation. 159-165
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hyland99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hyland99
Martin Hyland:
Variations on Realizability: Simple examples realizing axioms of choice. 166-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BirkedalORS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BirkedalORS99
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott:
Preface. 189-190
no results

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.