Causation and Causal Theories
โ French P.A., Uehling, T.E., Jr., Wettstein H.K.
๐ Library
๐
1984
๐ University of Minnesota Press
๐ English
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
<p><B>Extensional Constructs in Intensional Type Theory</B> presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theorie