Skip to search formSkip to main contentSemantic Scholar

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

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

2016

2016

In multicentric holomorphic calculus one represents the function φ using a new polynomial variable w = p(z) in such a way that… Expand

Is this relevant?

2013

2013

Abstract Calculi with control operators have been studied as extensions of simple type theory. Real programming languages contain… Expand

Is this relevant?

2012

2012

Calculi with control operators have been studied to reason about control in programming languages and to interpret the… Expand

Is this relevant?

2012

2012

Calculi with control operators have been studied to reason about control in programming languages and to interpret the… Expand

Is this relevant?

Highly Cited

2010

Highly Cited

2010

Avionics Full Duplex Switched Ethernet (AFDX) standardized as ARINC 664 is a major upgrade for avionics systems. The mandatory… Expand

Is this relevant?

2007

2007

We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has… Expand

Is this relevant?

1999

1999

It is well known that one cannot inside the pure untyped lambda calculus determine equivalence I e one cannot de termine if two… Expand

Is this relevant?

1995

1995

Limits and Continuity Differentiation The Mean-Value Theorem and Applications Integration Some Applications of the Integral The… Expand

Is this relevant?

1994

1994

The polymorphic (or second-order) typed lambda calculus was invented by Jean-Yves Girard in 1971 11, 10], and independently… Expand

Is this relevant?