Mac Lane, S., Categories for the Working Mathematician, SpringerVerlag, 1971. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (17 citations) (Correct)
No context found.
Mac Lane, S., Categories for the Working Mathematician, SpringerVerlag, 1971.
Feature Logics and refinement - Marc Aiguier Place (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer-Verlag, 1971.
An algebraic approach to real-time specification - Aiguier, Beroff, Schobbens (Correct)
No context found.
S. M. Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer, 1971.
Fundamenta Informaticae XX (2004) 1--31 1 IOS Press - Feature Specification.. (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer, 1971.
Feature re - Nement Way To (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer-Verlag, 1971.
Proceedings of Prague Stochastics'98, Vol. II, 383389.. - Frantiek Mat Institute (Correct)
No context found.
Mac Lane S. (1971) Categories for the Working Mathematician. Springer-Verlag, New York, Heidelberg, Berlin.
Topology and Computability - Thesis Proposal Andrej (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician, SpringerVerlag, 1971.
Topology and Computability - Thesis Proposal Andrej (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician, SpringerVerlag, 1971.
Categorical Models Of First-Order Classical Proofs - McKinley (2006) (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer-Verlag, 1971.
Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
No context found.
S. Mac Lane. "Categories for the working mathematician", Second Edition, Graduate Texts in Mathematics 5, Springer-Verlag, 1998.
Fixpoint and Loop Constructions as Colimits C. Barry Jay - Department Of Computer (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician (SpringerVerlag, 1971).
Tail Recursion Through Universal Invariants - Barry Jay Lfcs (1993) (1 citation) (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician (Springer-Verlag, 1971).
Deep Inference Proof Theory Equals Categorical Proof Theory Minus .. - Hughes (2004) (3 citations) (Correct)
No context found.
MAC LANE S. Categories for the Working Mathematician. Springer-Verlag 1971.
Labels From Reductions: Towards a General Theory - Bartek Klin Vladimiro (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer Verlag, 2nd edition, 1992.
Comparing Hierarchies of Types in Models of Linear Logic - Mellies (2003) (1 citation) (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Springer Verlag, 1971.
MacLane's coherence theorem expressed as a word problem - Mellies (Correct)
No context found.
S. Mac Lane. Categories for the working mathematician. Second edition. Graduate Texts in Mathematics, Springer-Verlag, 1991.
Categorical Models Of Linear Logic Revisited - Mellies (2002) (7 citations) (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Springer Verlag, 1971.
Modular Formal Frameworks for Module Systems - Ancona (1998) (5 citations) (Correct)
No context found.
S. Mac Lane. Categories for the Working Mathematician. Springer Verlag, New York, 1971.
Axiomatic Rewriting Theory IV - A stability theorem in Rewriting.. - Mellies (1998) (1 citation) (Correct)
No context found.
S. Mac Lane, "Categories for the working mathematician ", Springer Verlag, 1971.
Axiomatic Rewriting Theory III - A factorisation theorem in.. - Mellies (1997) (2 citations) (Correct)
No context found.
S. Mac Lane, "Categories for the working mathematician", Springer Verlag, 1971.
Axiomatic Rewriting Theory II - The λσ-calculus.. - Mellies (Correct)
No context found.
S. Mac Lane, \Categories for the working mathematician", Springer Verlag, 1971.
Axiomatic Rewriting Theory I - A Diagrammatic Standardization.. - Mellies (2001) (Correct)
No context found.
S. Mac Lane. "Categories for the working mathematician", Springer Verlag, 1971.
Double Categories: a modular model of multiplicative linear logic - Mellies (Correct)
No context found.
S. Mac Lane. Categories for the working mathematician. Springer Verlag, 1971.
Algebraic Operations and Generic Effects - Plotkin, Power (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician, Berlin: Springer-Verlag, 1971.
Notions of Computation Determine Monads - Plotkin, Power (2002) (6 citations) (Correct)
No context found.
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1971.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC