Lars Birkedal (Aarhus University

Identifiers

• name variant Lars Birkedal (Aarhus University 0.60 · backfill

Papers (2)

1. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types cs.LO · 2016 · author #4
2. Step-Indexed Logical Relations for Probability (long version) cs.LO · 2015 · author #2

Mentions

• 1501.02623 #2 · backfill · confidence 0.70 Lars Birkedal (Aarhus University

Frequent Coauthors

• Ale\v{s} Bizjak 2 shared papers
• Denmark) 2 shared papers
• Hans Bugge Grathwohl 1 shared papers
• Ranald Clouston 1 shared papers