Telecharger Cours

Design of Timber Buildings for Deconstruction and Reuse

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



Download