Author:
AWODEY STEVEN,BIRKEDAL LARS,SCOTT DANA S.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Doctrines, modalities and comonads;Mathematical Structures in Computer Science;2021-09-14
2. Regular functors and relative realisability categories;Mathematical Structures in Computer Science;2013-04-18
3. Aspects of predicative algebraic set theory, II: Realizability;Theoretical Computer Science;2011-04
4. Operational domain theory and topology of sequential programming languages;Information and Computation;2009-03
5. Bibliography;Realizability: An Introduction to its Categorical Side;2008