Aleš Bizjak

Available identifiers

zbMath Open bizjak.alesMaRDI QIDQ1704598

List of research outcomes

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
Step-Indexed Logical Relations for Probability	2015-10-01	Paper
Programming and Reasoning with Guarded Recursion for Coinductive Types	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Aleš Bizjak