A general notion of realizability (2000)

by L Birkedal
Venue:In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science