Gamma-Reduction in Type Theory of Acyclic Recursion
- 期刊名称Fundamenta Informaticae
- 作者Loukanova, Roussanka
- 卷第170卷
- 期第4期
- 印刷ISSN0169-2968
- 电子ISSN1875-8681
- 文件大小470.55KB
- 发表时间2019-10-19
- DOI10.3233/FI-2019-1867
- 页码367-411
同期刊推荐
Zero Point EnergyAdhikari, Krishna Raj · Himalayan Physics · 2011
Himalayan Seismic Activity: A Concise PicturePaudyal, Harihar · Himalayan Physics · 2012
Medical Science and PhysicsLamsal, Min Raj · Himalayan Physics · 2015
Siesmic Activity and its PeripheryLamsal, Min Raj · Himalayan Physics · 2017
Superconductivity and Cooper PairsSubedi, Mitramani Subedi · Himalayan Physics · 2017
Fundamental Particle and ForcesSharma, Bhumi Raj · Himalayan Physics · 2017
Topological Order in PhysicsKarki, Ravi Karki · Himalayan Physics · 2017
Ceramics and its ImportanceSubedi, Mitra Mani · Himalayan Physics · 2013