Search results
András Kovács. Ernst Ruska-Centre for Microscopy and Spectroscopy with Electrons, ... V Reichel, A Kovács, M Kumari, É Bereczk-Tompa, E Schneck, ...
I’m a postdoc at the Logic and Types group at the University of Gothenburg. Previously I was an assistant lecturer at the Faculty of Informatics of Eötvös Loránd University of Budapest, at the department of Programming Languages and Compilers.
Kovács M. András (Eger, 1976. június 12. –) magyar író, forgatókönyvíró, filmrendező.
Discovery and Implications of Hidden Atomic-Scale Structure in a Metallic Meteorite. Nano Letters. 2021-10-13 | Journal article. DOI: 10.1021/acs.nanolett.1c02573. Contributors : András Kovács; Laura H. Lewis; Dhanalaksmi Palanisamy; Thibaud Denneulin; Alexander Schwedt; Edward R.D. Scott; Baptiste Gault; Dierk Raabe; Rafal E. Dunin-Borkowski;
András Kovács. Instituto de Astrofísica de Canarias (IAC) Verified email at ifae.es - Homepage. cosmology large-scale structure dark energy. Articles 1–20. Instituto de Astrofísica de Canarias...
Metatheory of quotient inductive-inductive and higher inductive-inductive types. This is the topic of my PhD thesis, titled Type-Theoretic Signatures for Algebraic Theories and Inductive Types. This is the most up-to-date version of this research.
Conference and journal papers. Closure-Free Functional Programming in a Two-Level Type Theory, ICFP 2024. Code supplement. Staged Compilation With Two-Level Type Theory, ICFP 2022. Appendix, Implementation. Generalized Universe Hierarchies and First-Class Universe Levels, CSL 2022.
