Search Results

Quotient Maps: Frame-Valued Spaces

Authors: Boustique, H.; Richardson, G.

Source: Quaestiones Mathematicae, Volume 31, Number 1, March 2008 , pp. 45-54(10)

Publisher: NISC Pty Ltd

Full Text

Author: Awodey, Steve

Source: Category Theory, May 2006 , pp. i-256(257)

Publisher: Oxford Scholarship Online Monographs

6. EXPONENTIALS

Author: Awodey, Steve

Source: Category Theory, May 2006 , pp. 105-125(21)

Publisher: Oxford Scholarship Online Monographs

9. ADJOINTS

Author: Awodey, Steve

Source: Category Theory, May 2006 , pp. 179-223(45)

Publisher: Oxford Scholarship Online Monographs

Stratified L-uniform convergence spaces

Authors: Jäger, G.; Burton, M.H.

Source: Quaestiones Mathematicae, Volume 28, Number 1, March 2005 , pp. 11-36(26)

Publisher: NISC Pty Ltd

On the way to Frölicher Lie groups

Authors: Ntumba, P.P.; Batubenge, T.A.

Source: Quaestiones Mathematicae, Volume 28, Number 1, March 2005 , pp. 73-93(21)

Publisher: NISC Pty Ltd

Free Modules over Cartesian Closed Topological Categories

Author: Seal, Gavin

Source: Applied Categorical Structures, Volume 13, Number 2, April 2005 , pp. 181-187(7)

Publisher: Springer

Cartesian Closed Topological Categories and Tensor Products

Author: Seal Gavin

Source: Applied Categorical Structures, Volume 13, Number 1, January 2005 , pp. 37-47(11)

Publisher: Springer

Propositions as [Types]

Authors: Valeria de Paiva; Rajeev Goré; Michael Mendler; Steven Awodey; Andrej Bauer

Source: Journal of Logic and Computation, Volume 14, Number 4, August 2004 , pp. 447-471(25)

Publisher: Oxford University Press

A fully abstract semantics for a nondeterministic functional language with monadic types

Author: Jeffrey A.

Source: Electronic Notes in Theoretical Computer Science, Volume 1, Number 1, January 2004 , pp. 1-12(12)

Publisher: Elsevier

A Co-iterative Characterization of Synchronous Stream Functions

Authors: Caspi P.; Pouzet M.

Source: Electronic Notes in Theoretical Computer Science, Volume 11, Number 1, January 2004 , pp. 1-21(21)

Publisher: Elsevier

Completeness Classes of Equilogical Spaces

Author: Heckmann R.

Source: Electronic Notes in Theoretical Computer Science, Volume 20, Number 1, January 2004 , pp. 1-16(16)

Publisher: Elsevier

The Largest Topological Subcategory of Countably-based Equilogical Spaces

Authors: Menni M.; Simpson A.

Source: Electronic Notes in Theoretical Computer Science, Volume 20, Number 1, January 2004 , pp. 1-24(24)

Publisher: Elsevier

A non-topological view of dcpos as convergence spaces

Author: Heckmann R.

Source: Theoretical Computer Science, Volume 305, Number 1, 18 August 2003 , pp. 159-186(28)

Publisher: Elsevier

Cantor Diagrams: A Unifying Discussion of Self-Reference

Authors: Germano G.M.; Mazzanti S.

Source: Applied Categorical Structures, Volume 11, Number 4, August 2003 , pp. 313-336(24)

Publisher: Springer

Function Spaces of Posets with Projections

Author: Kummetz R.

Source: Applied Categorical Structures, Volume 11, Number 1, February 2003 , pp. 3-25(23)

Publisher: Springer

A cartesian closed category in Martin-Lof's intuitionistic type theory

Author: Valentini S.

Source: Theoretical Computer Science, Volume 290, Number 1, 1 January 2003 , pp. 189-219(31)

Publisher: Elsevier

Completeness of Continuation Models for -Calculus

Authors: Hofmann M.; Streicher T.

Source: Information and Computation, Volume 179, Number 2, December 2002 , pp. 332-355(24)

Publisher: Academic Press

Limit structures over completely distributive lattices

Author: Li Y.-M.

Source: Fuzzy Sets and Systems, Volume 132, Number 1, 16 November 2002 , pp. 125-134(10)

Publisher: Elsevier

A Quillen Model Structure for 2-Categories

Author: Lack S.

Source: K-Theory, Volume 26, Number 2, June 2002 , pp. 171-205(35)

Publisher: Springer