Alexandre Buisse

	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)

Coauthor Index

1	Jonathan Aldrich	[3]
2	Lars Birkedal	[3]
3	Peter Dybjer	[1] [2]
4	Neelakantan R. Krishnaswami	[3]
5	Kasper Svendsen	[3]

Colors in the list of coauthors