Works matching IS 09272852 AND DT 2010 AND VI 18 AND IP 2

Results: 7

Girard Couples of Quantales.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 123, doi. 10.1007/s10485-008-9138-3

By:

Egger, J.;
Kruml, David

Publication type:

Article

Läuchli’s Completeness Theorem from a Topos-Theoretic Perspective.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 185, doi. 10.1007/s10485-008-9124-9

By:

Menni, Matías

Publication type:

Article

Sheaves as Modules.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 199, doi. 10.1007/s10485-008-9131-x

By:

Resende, Pedro;
Rodrigues, Elias

Publication type:

Article

Cubical Version of Combinatorial Differential Forms.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 165, doi. 10.1007/s10485-008-9143-6

By:

Kock, Anders

Publication type:

Article

2-Filteredness and The Point of Every Galois Topos.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 115, doi. 10.1007/s10485-008-9145-4

By:

Dubuc, Eduardo

Publication type:

Article

The Universal Covering of an Inverse Semigroup.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 135, doi. 10.1007/s10485-008-9147-2

By:

Funk, Jonathon;
Steinberg, Benjamin

Publication type:

Article

Well-behaved Epireflections for Kan Extensions.

Published in:

Applied Categorical Structures, 2010, v. 18, n. 2, p. 219, doi. 10.1007/s10485-008-9148-1

By:

Xarez, João

Publication type:

Article