Alexandre Buisse

According to our database, Alexandre Buisse authored at least 4 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Step-Indexed Kripke Model of Separation Logic for Storable Locks.

Alexandre Buisse, Lars Birkedal, Kristian Støvring

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

2009

Design patterns in separation logic.

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

2008

The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective.

Alexandre Buisse, Peter Dybjer

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Towards Formalizing Categorical Models of Type Theory in Type Theory.

Alexandre Buisse, Peter Dybjer

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007