Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts) (1999)

by Stephen Awodey , Lars Birkedal , Dana S. Scott
Venue:Presented at Tutorial Workshop on Realizability Semantics, FLoC'99
Citations:24 - 8 self