| Copredication in homotopy type theory H BAHRAMIAN, N NEMATOLLAHI, AMR SABRY http://hdl.handle.net/2022/21811, 2017 | 7 | 2017 |
| Type-shifting: four categories H Bahramian https://www.researchgate.net/publication/323687657_Type-shifting_four_categories, 2018 | | 2018 |
| A formalization for "change of perspective" H Bahramian, N Nematollahi, A Sabry https://www.researchgate.net/publication …, 2017 | | 2017 |
| Identity type as an alternative to subtyping H Bahramian, N Nematollahi, A Sabry Midwest Programming Languages Summit 2017, 2017 | | 2017 |
| Type-shifting in formal semantics of natural languages H BAHRAMIAN | | 2017 |
| Soundness and completeness of simply typed λ-calculus H BAHRAMIAN | | 2017 |
| Copredication in Homotopy Type Theory: A homotopical approach to formal semantics of natural languages H Bahramian, N Nematollahi, A Sabry Fourth Workshop on Natural Language and Computer Science, 2016 | | 2016 |
| Monomorphic in form, polymorphic in fact H Bahramian | | 2016 |
| Type-shifting: four possibilities H BAHRAMIAN | | |
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
