Aleš Bizjak

Available identifiers

Publication	Date of Publication	Type
On models of higher-order separation logic	2022-04-25	Paper
Denotational semantics for guarded dependent type theory	2020-12-08	Paper
Relational reasoning for Markov chains in a probabilistic guarded lambda calculus	2019-09-13	Paper
Guarded cubical type theory	2019-08-21	Paper
Iris from the ground up: A modular foundation for higher-order concurrent separation logic	2019-02-20	Paper
A model of guarded recursion via generalised equilogical spaces	2018-03-12	Paper
Guarded Cubical Type Theory: Path Equality for Guarded Recursion	2017-07-19	Paper
The Essence of Higher-Order Concurrent Separation Logic	2017-05-19	Paper
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types	2017-04-11	Paper
A model of guarded recursion with clock synchronisation	2016-12-16	Paper
Guarded Dependent Type Theory with Coinductive Types	2016-06-10	Paper
Programming and Reasoning with Guarded Recursion for Coinductive Types	2015-10-01	Paper
Step-Indexed Logical Relations for Probability	2015-10-01	Paper
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages	2015-09-14	Paper
A Model of Countable Nondeterminism in Guarded Type Theory	2014-07-24	Paper
Step-indexed relational reasoning for countable nondeterminism	2013-10-16	Paper

This page was built for person: Aleš Bizjak