CA:Bou07

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

Contact

Sylvain Boulmé

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)