Research output per year
Research output per year
Fingerprint
Dive into the research topics where Hans Bugge Grathwohl is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Guarded Cubical Type Theory
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2019, In: Journal of Automated Reasoning. 63, 2, p. 211-253 43 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Open Access13 Citations (Scopus) -
The clocks are ticking: No more delays!
Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 12 p. 8005097. (Annual Symposium on Logic in Computer Science; No. 32).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
28 Citations (Scopus) -
Guarded cubical type theory
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
Open Access -
Guarded Cubical Type Theory
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016Research output: Other contribution › Net publication - Internet publication › Research › peer-review
Open Access16 Citations (Scopus) -
Guarded Cubical Type Theory: Path Equality for Guarded Recursion
Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A., 2016, CSL 2016: 25th EACSL Annual Conference on Computer Science Logic. Talbot, J.-M. & Regnier, L. (eds.). p. 1 - 17 17 p. (Leibniz International Proceedings in Informatics, Vol. 62).Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Open AccessFile168 Downloads (Pure)