Local realizability toposes and a modal logic for computability

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  • Steven Awodey, Department of Philosophy, Carnegie Mellon University, Unknown
  • Lars Birkedal
  • Dana S. Scott, School of Computer Science, United States
Original languageEnglish
JournalMathematical Structures in Computer Science
Volume12
Issue3
Pages (from-to)319-334
Number of pages16
ISSN0960-1295
DOIs
Publication statusPublished - 2002

See relations at Aarhus University Citationformats

ID: 93271371