Relational Parametricity and Separation Logic by Lars Birkedal, Hongseok Yang

Get full text

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity by Dan Frumin, Robbert Krebbers, Lars Birkedal

Get full text

Step-Indexed Relational Reasoning for Countable Nondeterminism by Lars Birkedal, Aleš Bizjak, Jan Schwinghammer

Get full text

Two for the Price of One: Lifting Separation Logic Assertions by Jacob Thamsborg, Lars Birkedal, Hongseok Yang

Get full text

Logical Step-Indexed Logical Relations by Derek Dreyer, Amal Ahmed, Lars Birkedal

Get full text

Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages by Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Get full text

Linear Abadi and Plotkin Logic by Lars Birkedal, Rasmus E. Møgelberg, Rasmus Lerchedahl Petersen

Get full text

Nested Hoare Triples and Frame Rules for Higher-order Store by Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Get full text

Multimodal Dependent Type Theory by Daniel Gratzer, G. A. Kavvos, Andreas Nuyts, Lars Birkedal

Get full text

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types by Ranald Clouston, Aleš Bizjak, Hans Bugge Grathwohl, Lars Birkedal

Get full text

First steps in synthetic guarded domain theory: step-indexing in the topos of trees by Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring

Get full text