CA:Bou07

Sylvain Boulmé. Intuitionistic Refinement Calculus. In Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583, Paris, June 2007.

Contact

Sylvain Boulmé

BibTex Reference

@InProceedings{CA:Bou07,
   Author = {Boulmé, Sylvain},
   Title = {Intuitionistic Refinement Calculus},
   BookTitle = {Proc. of International Conference on Typed Lambda Calculi and Applications (TLCA 2007), LNCS 4583},
   Publisher = {Springer-Verlag},
   Address = {Paris},
   Month = {June},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)