08/02/2001: Sergei Soloviev (IRIT, Toulouse)
Coercive Subtyping and Isomorphism of Types.
Résumé
Studies of coercive subtyping had shown the importance of coherence
conditions. Coherence conditions permit to see clearly the connection
between coercions and isomorphisms. The problem of isomorphism and
subtyping of inductive types (in the context of dependent type systems)
will be discussed, in connection with the problems of extensional and
intensional equality etc. The talk will present the results that are
partly published and partly work in progress.