collaborators

1 paper

cs.PL2024

Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Philipp Jan Andries Stassen, Rasmus Ejlers Møgelberg, Maaike Zwart +2

Constructive type theory combines logic and programming in one language. This is useful both for reasoning about programs written in type theory, as well as for reasoning about oth…