论文信息 - Coercive Subtyping and Lexical Semantics - 字舞流文

Coercive Subtyping and Lexical Semantics

[1] Zhaohui Luo,et al. Computation and reasoning - a type theory for computer science , 1994, International series of monographs on computer science.

[2] Zhaohui Luo,et al. Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language , 1997, LACL.

[3] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .

[4] Ray Jackendoff,et al. The Architecture of the Language Faculty , 1996 .

[5] Zhaohui Luo,et al. Coercive Subtyping in Type Theory , 1996, CSL.

[6] Thierry Coquand,et al. Inheritance and explicit coercion , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[7] James Pustejovsky,et al. The Generative Lexicon , 1995, CL.

[8] Zhaohui Luo,et al. Coercive Subtyping , 1995 .

[9] Bengt Nordström,et al. Programming in Martin-Lo¨f's type theory: an introduction , 1990 .