Verimag

bibtex

@inproceedings{Bou07b,
    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},
}

URL

PDF

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 10 ; visites : 423742