PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Birkedal, Lars"

Author of the publication

copydeleteadd this publication to your clipboard
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.

, , and . ICFP, page 377-390. ACM, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lars Klingel University of Stuttgart

Lars Bippus University of Stuttgart

Dr. Lars Mautsch University of Stuttgart

Lars Kübler University of Stuttgart

Lars Kirchhof University of Stuttgart

 

Other publications of authors with the same name

The impact of higher-order state and control effects on local relational reasoning., , and . J. Funct. Program., 22 (4-5): 477-528 (2012)Preface.. Electr. Notes Theor. Comput. Sci., (2005)Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)., , , and . Dagstuhl Reports, 5 (5): 1-23 (2015)The category-theoretic solution of recursive metric-space equations., , and . Theor. Comput. Sci., 411 (47): 4102-4122 (2010)First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees., , , and . LICS, page 55-64. IEEE Computer Society, (2011)Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes., and . LICS, page 213-222. IEEE Computer Society, (2013)Step-Indexed Relational Reasoning for Countable Nondeterminism., , and . Logical Methods in Computer Science, (2013)Guarded Cubical Type Theory., , , , , and . J. Autom. Reasoning, 63 (2): 211-253 (2019)Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic., , , , and . ACM Trans. Program. Lang. Syst., 38 (2): 4:1-4:72 (2016)Formalized Verification of Snapshotable Trees: Separation and Sharing., , , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 179-195. Springer, (2012)