|
|||||
|
|
Inclusions and Subtypes I: First-order Case |
|
| Authors: | MARTI-OLIET, NARCISO MESEGUER, JOSE |
| Affiliation: | 1SRI International Menlo Park, CA 94025, USA 2Center for the Study of Language and Information, Stanford University Stanford, CA 94305, USA. |
| Abstract: | |
| Keywords: | Subtype inclusion coercion overloading categorical logic |
| 本文献已被 Oxford 等数据库收录！ | |