Personal tools
You are here: Home Events Abstract Archives 1997 Coercive subtyping and its applications

Coercive subtyping and its applications

Zhaohui Luo (University of Durham) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 2pm, Wednesday 19th March 1997

Coercive subtyping offers a conceptually simple but powerful framework to understand subtyping and subset relationships in type theories with sophisticated type structures such as dependent types and inductive types. In this talk, we introduce the basic concepts and some of its applications. In particular, I shall explain its use in the design of a mathematical vernacular for computer-assisted reasoning with natural language.

Document Actions