Search Sciweavers | Sciweavers

26

MST
2008

119views more MST 2008»

Logical Equivalence for Subtyping Object and Recursive Types

13 years 7 months ago

Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...

Steffen van Bakel, Ugo de'Liguoro

claim paper

Read More »

20

click to vote

ICTCS
2005
Springer

114views Theoretical Computer Science» more ICTCS 2005»

A Typed Semantics of Higher-Order Store and Subtyping

14 years 29 days ago

Download www.ps.uni-saarland.de

Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...

Jan Schwinghammer

claim paper

Read More »

21

click to vote

ENTCS
2002

92views more ENTCS 2002»

The Relevance of Semantic Subtyping

13 years 7 months ago

Download www.di.unito.it

We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio...

claim paper

Read More »

21

click to vote

COLING
2010

171views Computational Linguistics» more COLING 2010»

Inducing Fine-Grained Semantic Classes via Hierarchical and Collective Classification

13 years 2 months ago

Download www.hlt.utdallas.edu

Research in named entity recognition and mention detection has typically involved a fairly small number of semantic classes, which may not be adequate if semantic class informatio...

Md. Altaf ur Rahman, Vincent Ng

claim paper

Read More »

21

click to vote

ICTCS
2005
Springer

74views Theoretical Computer Science» more ICTCS 2005»

Semantic Subtyping: Challenges, Perspectives, and Open Problems

14 years 29 days ago

Download www.pps.jussieu.fr

Giuseppe Castagna

claim paper