@inproceedings{Bou7,
title = { Intuitionistic Refinement Calculus. },
author = {Boulm\'e, Sylvain},
year = {2007},
booktitle = {Typed Lambda Calculi and Applications},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4583},
team = {DCS, PACSS},
}
