activity
20062023
most citedFirst steps in synthetic guarded domain theory: step-indexing in the topos of trees

79 citations · 353 across the 23 of their papers we have counts for

collaborators
Showing 2015Show all

2 papers · 1 filter

cs.PL2015

Programming and Reasoning with Guarded Recursion for Coinductive Types

Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl +1

We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures th…

cs.LO2015★ 28 cited

Step-Indexed Logical Relations for Probability (long version)

Aleš Bizjak, Lars Birkedal

It is well-known that constructing models of higher-order probabilistic programming languages is challenging. We show how to construct step-indexed logical relations for a probabil…