Author:
Birkedal Lars,van Oosten Jaap
Reference21 articles.
1. S. Awodey, L. Birkedal, Elementary axioms for local maps of toposes, J. Pure Appl. Algebra, to appear.
2. S. Awodey, L. Birkedal, D.S. Scott, Local realizability toposes and a modal logic for computability, Presented at Tutorial Workshop on Realizability Semantics, FLoC’99, Trento, Italy 1999, available electronically as ENTCS, Vol. 23, http://www.elsevier.nl, 1999.
3. I. Bethke, Notes on partial combinatory algebras, Ph.D. Thesis, Universiteit van Amsterdam, 1988.
4. L. Birkedal, Developing theories of types and computability via realizability, Electronic Notes in Theoretical computer Science, Vol. 34, 2000 (Book version of Ph.D. Thesis), pp. viii+282.
5. Relativized realizability in intuitionistic arithmetic of all finite types;Goodman;J. Symbolic Logic,1978
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献