bibtex

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

URL


Contact | Site Map | Site powered by SPIP 3.1.13 + AHUNTSIC [CC License]

info visites 1685034