Bizjak, A., Birkedal, L. & Miculan, M. (2014).
A model of countable nondeterminism in guarded type theory. I G. Dowek (red.),
Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (s. 108-123). Springer VS.
https://doi.org/10.1007/978-3-319-08918-8_8
Bizjak, A. & Birkedal, L. (2015).
Step-indexed logical relations for probability. I A. Pitts (red.),
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (s. 279-294 ). Springer VS.
https://doi.org/10.1007/978-3-662-46678-0_18
Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E.
& Birkedal, L. (2016).
Guarded dependent type theory with coinductive types. I B. Jacobs & C. Löding (red.),
Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Bind 9634, s. 20-35). Springer VS.
https://doi.org/10.1007/978-3-662-49630-5_2
Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J. & Yang, H. (2011).
Step-Indexed Kripke Models over Recursive Worlds. I
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA (s. 119-132). Association for Computing Machinery.
Birkedal, L., Støvring, K. & Thamsborg, J. J. (2009).
Relational Parametricity for References and Recursive Types. I A. Kennedy & A. Ahmed (red.),
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. (s. 91-104). Association for Computing Machinery.
Birkedal, L., Støvring, K. & Thamsborg, J. (2009).
Realizability semantics of parametric polymorphism, general references, and recursive types. I L. D. Alfaro (red.),
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings (s. 456-470). Springer.
https://doi.org/10.1007/978-3-642-00596-1_32
Birkedal, L. & Yang, H. (2007).
Relational parametricity and separation logic. I S. Helmut (red.),
Foundations of Software Science and Computation Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings (s. 93-107). Springer.
https://doi.org/10.1007/978-3-540-71389-0_8
Birkedal, L., Debois, S.
& Hildebrandt, T. (2006).
Sortings for reactive systems. I C. Baier & H. Hermanns (red.),
CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings (s. 248-262). Springer.
https://doi.org/10.1007/11817949_17
Birkedal, L., Debois, S., Elsborg, E.
, Hildebrandt, T. & Niss, H. (2006).
Bigraphical models of context-aware systems. I L. Aceto & A. Ingólfsdóttir (red.),
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings (Bind 3921 , s. 187-201). Springer VS.
https://doi.org/10.1007/11690634_13
Birkedal, L. & Welinder, M. (1995).
Binding-time analysis for Standard ML. I
PEPM'94 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, Walt Disney World Vilage, Orlando, Florida, USA, 25 June 1994, Proceedings: Technical Report 94/9. (s. 61-71). University of Melbourne. Department of Computer Science.
Birkedal, L., Bundgaard, M., Debois, S., Elsborg, E., Glenstrup, A. J., Hildebrandt, T., Milner, R. & Niss, H. (2006).
Bigraphical Programming Languages for Pervasive Computing. I T. Strang, V. Cahill & A. Quigley (red.),
Proceedings of Pervasive 2006 International Workshop on Combining Theory and Systems Building in Pervasive Computing (CTSB'06 (s. 653-658)