Telecharger Cours

Proof-assistants-using-dependent-type-systems.pdf

... ))EA' and if (81,82,s3)ER then (/(s1), / (s2 ), /(s3 ))ER'. A PTS-morphism f from A ... This comprises all the sub-systems of CC and also all systems T for which.



Download