Papers by Bodil Biering
Last modified: April 11, 2008, 13:22:54
Papers
The papers are listed in reverse chronological order.
-
Bodil Biering,
The Copenhagen Interpretation.
Manuscript submitted, December 2007.
.pdf
-
Bodil Biering,
Cartesian Closed Dialectica Categories.
Manuscript submitted, August 2007.
.pdf
-
Bodil Biering, Lars Birkedal and Noah Torp-Smith,
BI Hyperdoctrines, Higher-Order Separation Logic, and Abstraction.
ACM Transactions on Programming Languages and Systems, Volume 29, Issue 5, Article 24 (2007). Special Issue ESOP'05.
.pdf
-
Bodil Biering, Lars Birkedal and Noah Torp-Smith,
BI Hyperdoctrines and Separation Logic. (c) Springer-Verlag
.
In Proceedings of European Symposium on Programming (ESOP'05), pages 233-247. Edinburgh, Scotland, April 2005.
.ps
.pdf
-
Bodil Biering, On the Logic of Bunched Implications - and its Relation to Separation
Logic. June 2004.
Master's Thesis for the Cand.Scient degree in mathematics at the University of Copenhagen.
.ps
.pdf
-
Morten Overgaard Hansen and Bodil Biering
Topoi og Logik. December 2001.
(in danish).
.ps
.pdf
-
Bodil Biering,
Standsningsproblemet og Goedels ufuldstændighedssætninger.
June 2000.
(in danish). My B.Sc. project.
.pdf.
Recent Talks
-
Chalmers, November 2007
A Variant of Goedels Dialectica Interpretation.
.pdf
| Back to Bodil's main
page. |
|