In category theory, a category is considered Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturallyâ€¦Â (More)

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

2015

2015

- Simon Castellan, Pierre Clairambault, Peter Dybjer
- TLCA
- 2015

We show that a version of Martin-LÃ¶f type theory with extensional identity, a unit type N1,Î£,Î , and a base type is a freeâ€¦Â (More)

Is this relevant?

2006

2006

- F. William Lawvere, WILLIAM LAWVERE
- 2006

In May 1967 I had suggested in my Chicago lectures certain applications of category theory to smooth geometry and dynamicsâ€¦Â (More)

Is this relevant?

2006

2006

- Samy Abbes
- Discrete Mathematics & Theoretical Computerâ€¦
- 2006

We introduce a new class of morphisms for event structures. The category obtained is cartesian closed, and a natural notion ofâ€¦Â (More)

Is this relevant?

2005

2005

- Dieter Spreen
- Mathematical Structures in Computer Science
- 2005

A conjecture of Smyth is discussed which says that if D and [D â†’ D] are effectively algebraic directed-complete partial ordersâ€¦Â (More)

Is this relevant?

2004

2004

- Pascal Hitzler, Guo-Qiang Zhang
- ICCS
- 2004

Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connectionsâ€¦Â (More)

Is this relevant?

2003

2003

- Silvio Valentini
- Theor. Comput. Sci.
- 2003

First, we briefly recall the main definitions of the theory of Information Bases and Translations. These mathematical structuresâ€¦Â (More)

Is this relevant?

1996

1996

- Guo-Qiang Zhang
- Theor. Comput. Sci.
- 1996

Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics ofâ€¦Â (More)

Is this relevant?

1986

1986

- Carl A. Gunter
- LICS
- 1986

The inspiration for this paper is a result proved by Michael Smyth which states that Gordon Plotkin's category SFP is the largestâ€¦Â (More)

Is this relevant?

1985

1985

- GÃ©rard P. Huet
- Combinators and Functional Programming Languages
- 1985

Thus a term may be a natura l number, or may be of the form [ A ] M with A an object and M a term, or may be of the form ( M Nâ€¦Â (More)

Is this relevant?

Highly Cited

1983

Highly Cited

1983

- Brad Seely, John Abbott
- 1983

0. Introduction. I t is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category Câ€¦Â (More)

Is this relevant?