Telecharger Cours

a many-sorted calculus with polymorphic functions based on ...

... 80(1' ). Then. -PS?(11 ) v v ?Psn(xn) v Psn?(f(xl?.?, xn)) is true in (E ... The last property to show is that all clauses are true under all. SlG?homomorphisms.



Download