Author Info
Name
Affiliation
Papers
ALEXANDRE BUISSE
Department of Computer Science and Engineering, Chalmers University of Technology, Rännvägen 6, S-41296 Göteborg
4
Collaborators
Citations 
PageRank 
6
37
2.74
Referers 
Referees 
References 
69
52
43
Title
Citations
PageRank
Year
Step-Indexed Kripke Model of Separation Logic for Storable Locks90.582011
Design patterns in separation logic181.022009
Towards Formalizing Categorical Models of Type Theory in Type Theory80.682008
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories -- an Intuitionistic Perspective20.472008