Author:
Hyland J. Martin E.,Pitts Andrew M.
Publisher
American Mathematical Society
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric Church’s Thesis: Synthetic Computability Without Choice;Logical Foundations of Computer Science;2021-12-16
2. Concrete Fibrations;Notre Dame Journal of Formal Logic;2017-01-01
3. Some reasons for generalising domain theory;Mathematical Structures in Computer Science;2010-03-25
4. Two-dimensional models of type theory;Mathematical Structures in Computer Science;2009-08
5. On the semantics of classical disjunction;Journal of Pure and Applied Algebra;2001-05