Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

Despite overwhelming basic science linking inflammation to the pathobiology of atherothrombosis, the specific clinical evidence… Expand

Is this relevant?

Highly Cited

2006

Highly Cited

2006

Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the… Expand

Is this relevant?

2003

2003

We design a calculus that combines class-based features with object-based ones, with the aim of fitting into a unifying setting… Expand

Is this relevant?

2002

2002

Hierarchical Task Networks (HTNs) is a successful approach for planning where domain specific knowledge is used in order to make… Expand

Is this relevant?

2001

2001

In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the… Expand

Is this relevant?

2001

2001

We introduce a simply typed λ-calculus λϰƐ" which has both contexts and environments as first-class values. In λϰƐ", holes in… Expand

Is this relevant?

Highly Cited

1999

Highly Cited

1999

We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and… Expand

Is this relevant?

1997

1997

We introduce a new type system for the blue calculus { a variant of the-calculus that directly contains the-calculus. Our notion… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

In this paper, we give a general definition for f(T) when T is a linear operator acting in a Banach space, whose spectrum lies… Expand

Is this relevant?

1974

1974

(x not free in A, HPC is Heyting's predicate calculus) for the class of Kripke models of constant domains. See G6rnemann [1] for… Expand

Is this relevant?