Author:
Abramsky Samson,Jagadeesan Radha,Vákár Matthijs
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Altenkirch, T., McBride, C., McKinna, J.: Why dependent types matter. Manuscript, 235 (2005).
http://www.cs.nott.ac.uk/txa/publ/ydtm.pdf
2. Awodey, S., Warren, M.A.: Homotopy theoretic models of identity types. Mathematical Proceedings of the Cambridge Philosophical Society 146(01), 45–55 (2009)
3. HoTTbaki, U.: Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study (2013).
http://homotopytypetheory.org/book
4. Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. The Journal of Symbolic Logic 59(02), 543–574 (1994)
5. Hyland, J.M.E., Ong, C.H.: On full abstraction for PCF: I, II, and III. Information and Computation 163(2), 285–408 (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game semantics of Martin-Löf type theory;Mathematical Structures in Computer Science;2023-07-31
2. A game-semantic model of computation;Research in the Mathematical Sciences;2018-11-12
3. Extensional and Intensional Semantic Universes;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09