@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009780
|
|
|