Telecharger Cours

Stable implementation agreements for open systems ...

Traditional constructive type theory was developd for the A-calculus and is directly appli- cable only to functional languages or functional fragments of ...



Download