Aleš Bizjak

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On models of higher-order separation logic	2022-04-25	Paper
Denotational semantics for guarded dependent type theory Mathematical Structures in Computer Science	2020-12-08	Paper
Relational reasoning for Markov chains in a probabilistic guarded lambda calculus (available as arXiv preprint)	2019-09-13	Paper
Guarded cubical type theory Journal of Automated Reasoning	2019-08-21	Paper
Guarded cubical type theory Journal of Automated Reasoning	2019-08-21	Paper
Iris from the ground up: a modular foundation for higher-order concurrent separation logic Journal of Functional Programming	2019-02-20	Paper
A model of guarded recursion via generalised equilogical spaces Theoretical Computer Science	2018-03-12	Paper
Guarded cubical type theory: path equality for guarded recursion (available as arXiv preprint)	2017-07-19	Paper
The essence of higher-order concurrent separation logic Programming Languages and Systems	2017-05-19	Paper
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types Logical Methods in Computer Science	2017-04-11	Paper
A model of guarded recursion with clock synchronisation Electronic Notes in Theoretical Computer Science	2016-12-16	Paper
Guarded dependent type theory with coinductive types Lecture Notes in Computer Science	2016-06-10	Paper
Programming and reasoning with guarded recursion for coinductive types Lecture Notes in Computer Science	2015-10-01	Paper
Step-indexed logical relations for probability Lecture Notes in Computer Science	2015-10-01	Paper
ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages Interactive Theorem Proving	2015-09-14	Paper
A model of countable nondeterminism in guarded type theory Lecture Notes in Computer Science	2014-07-24	Paper
Step-indexed relational reasoning for countable nondeterminism Logical Methods in Computer Science	2013-10-16	Paper

Research outcomes over time

This page was built for person: Aleš Bizjak