Concepedia

Hans Bugge Grathwohl

HB

3

Publications

71

Citations

3

H-Index

2016

Active since

Affiliations

Aarhus University(Current)

Hans Bugge Grathwohl is an author at Aarhus University specializing in computer science, engineering, and formal methods.

Top concepts

Publications per year

2016–2017

3

Publications

3

The clocks are ticking: No more delays!

Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg · 2017 · 35 citations · Full text

, , +15

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl et al. · Logical Methods in Computer Science · 2017 · 21 citations · Full text

, , +16

Guarded Cubical Type Theory: Path Equality for Guarded Recursion

Lars Birkedal, Aleš Bizjak, Ranald Clouston et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 15 citations · Full text

Rows per page

1–3 of 3