Aarhus University Seal / Aarhus Universitets segl

Local realizability toposes and a modal logic for computability - (Extended Abstract)

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

  • Steven Awodey, Department of Philosophy, Carnegie Mellon University, United States
  • Lars Birkedal
  • Dana S. Scott, School of Computer Science, Carnegie Mellon University, United States
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Pages (from-to)13-26
Number of pages14
Publication statusPublished - 1 Dec 1999
Externally publishedYes

See relations at Aarhus University Citationformats

ID: 81357392