bibliographer - Aleš Bizjak

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus Alejandro Aguirre Gilles Barthe Lars Birkedal Aleš Bizjak Marco Gaboardi Deepak Garg [github]

Guarded Dependent Type Theory with Coinductive Types Aleš Bizjak Hans Bugge Grathwohl Ranald Clouston Rasmus E. Møgelberg Lars Birkedal [github]

The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers Ralf Jung Aleš Bizjak Jacques-Henri Jourdan Derek Dreyer Lars Birkedal [github]

A Model of Guarded Recursion With Clock Synchronisation Aleš Bizjak Rasmus Ejlers Møgelberg [github]

Iron: managing obligations in higher-order concurrent separation logic Aleš Bizjak Daniel Gratzer Robbert Krebbers Lars Birkedal [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]