Ale\v{s} Bizjak

Identifiers

• name variant Ale\v{s} Bizjak 0.60 · backfill

Papers (7)

1. Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus cs.PL · 2018 · author #4
2. Guarded Cubical Type Theory cs.LO · 2016 · author #2
3. The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types cs.LO · 2016 · author #2
4. Guarded Cubical Type Theory: Path Equality for Guarded Recursion cs.LO · 2016 · author #2
5. Guarded Dependent Type Theory with Coinductive Types cs.LO · 2016 · author #1
6. Programming and Reasoning with Guarded Recursion for Coinductive Types cs.PL · 2015 · author #2
7. Step-Indexed Logical Relations for Probability (long version) cs.LO · 2015 · author #1

Mentions

• 1501.02925 #2 · backfill · confidence 0.70 Ale\v{s} Bizjak
• 1501.02623 #1 · backfill · confidence 0.70 Ale\v{s} Bizjak

Frequent Coauthors

• Hans Bugge Grathwohl 5 shared papers
• Lars Birkedal 5 shared papers
• Ranald Clouston 5 shared papers
• Andrea Vezzosi 2 shared papers
• Bas Spitters 2 shared papers
• Denmark) 2 shared papers
• Lars Birkedal (Aarhus University 2 shared papers
• Alejandro Aguirre 1 shared papers
• Deepak Garg 1 shared papers
• Gilles Barthe 1 shared papers
• Marco Gaboardi 1 shared papers
• Rasmus E. M{\o}gelberg 1 shared papers