| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Alexandre Buisse, Lars Birkedal, Kristian Støvring: Step-Indexed Kripke Model of Separation Logic for Storable Locks. Electr. Notes Theor. Comput. Sci. 276: 121-143 (2011) |
| 2009 | ||
| 3 | | Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116 |
| 2008 | ||
| 2 | | Alexandre Buisse, Peter Dybjer: Towards Formalizing Categorical Models of Type Theory in Type Theory. Electr. Notes Theor. Comput. Sci. 196: 137-151 (2008) |
| 1 | | Alexandre Buisse, Peter Dybjer: The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. Electr. Notes Theor. Comput. Sci. 218: 21-32 (2008) |
| 1 | Jonathan Aldrich | [3] |
| 2 | Lars Birkedal | [3] [4] |
| 3 | Peter Dybjer | [1] [2] |
| 4 | Neelakantan R. Krishnaswami (Neel Krishnaswami) | [3] |
| 5 | Kristian Støvring | [4] |
| 6 | Kasper Svendsen | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page