Aleš Bizjak | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Marco Gaboardi
32 publications
Gilles Barthe
30 publications
Deepak Garg
26 publications
Lars Birkedal
15 publications
Rasmus Ejlers Møgelberg
8 publications
Alejandro Aguirre
6 publications

research

∙ 02/27/2018

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

We extend the simply-typed guarded λ-calculus with discrete probabilitie...

0 Alejandro Aguirre, et al. ∙

research

∙ 02/11/2018

Denotational semantics for guarded dependent type theory

We present a new model of Guarded Dependent Type Theory (GDTT), a type t...

0 Aleš Bizjak, et al. ∙

Success!

An error occurred