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.

2014

2014

Seely's paper Locally cartesian closed categories and type theory (Seely 1984) contains a well-known result in categorical type… Expand

Is this relevant?

2009

2009

This paper revisits the authors' notion of a dierential category from a dierent perspective. A dierential category is an additive… Expand

Is this relevant?

Highly Cited

2009

Highly Cited

2009

Geometric morphometrics is the statistical analysis of form based on Cartesian landmark coordinates. After separating shape from… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

We present a novel method, which we refer as an integral histogram, to compute the histograms of all possible target regions in a… Expand

Is this relevant?

Highly Cited

2002

Highly Cited

2002

We are reaching the end of the second generation of knowledge management, with its focus on tacit‐explicit knowledge conversion… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

Abstract An algorithm for extending one-dimensional, forward-in-time, upstream-biased, flux-form transport schemes (e.g., the van… Expand

Is this relevant?

Highly Cited

1994

Highly Cited

1994

We show how to construct a model of dependent type theory (category with attributes) from a locally cartesian closed category… Expand

Is this relevant?

Highly Cited

1984

Highly Cited

1984

It is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category C whose slice… Expand

Is this relevant?

Highly Cited

1983

Highly Cited

1983

The main result of this paper provides a necessary and sufficient condition that the function space [D → D] of a domain… Expand

Is this relevant?

Highly Cited

1969

Highly Cited

1969

In May 1967 I had suggested in my Chicago lectures certain applications of category theory to smooth geometry and dynamics… Expand

Is this relevant?