A. Tarlecki, R.M. Burstall, Joseph A. Goguen  Home/Search
Context Related
| ucsd.edu/users/goguen/pubs...indexed.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsd.edu/users/goguen/pubs...inst (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents indexed categories, which model uniformly de ned families of categories, and suggests that they are a useful tool for the working computer scientist. (Update)
Similar documents based on text: More All
0.2: Bibliography - Robert Bogdan And (1995) (Correct)
0.2: Institution Morphisms - Goguen, Rosu (2001) (Correct)
0.2: Proving Correctness Of Refinement And Implementation - Malcolm, Goguen (1996) (Correct)
BibTeX entry: (Update)
A. Tarlecki, J. A. Goguen, R. M. Burstall. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. Theoretical Computer Science 91, 239--264, 1991. This article was processed using the L A T E X macro package with LLNCS style http://citeseer.ist.psu.edu/tarlecki89some.html More
@article{ tarlecki91some,
author = "Andrzej Tarlecki and Rod M. Burstall and Joseph A. Goguen",
title = "Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories",
journal = "Theoretical Computer Science",
volume = "91",
number = "2",
pages = "239-264",
year = "1991",
url = "citeseer.ist.psu.edu/tarlecki89some.html" }
Citations (may not include all citations):236 Categories for the Working Mathematician (context) - MacLane - 1971
198 Towards formal development of programs from algebraic speci .. - Sannella, Tarlecki - 1987
57 Some fundamental algebraic tools for the semantics of comput.. - Goguen, Burstall - 1984
57 On observational equivalence and algebraic speci cations (context) - Sannella, Tarlecki - 1985
57 Some fundamental algebraic tools for the semantics of comput.. - Goguen, Burstall - 1984
49 Fundamentals of Algebraic Speci cation I: Equations and Init.. (context) - Ehrig, Mahr - 1985
48 Laboratory for Foundations of Computer Science (context) - Moggi, lambda-calculus - 1988
35 Extended ML: an institution independent framework for formal.. - Sannella, Tarlecki - 1985
32 Final algebra semantics and data type extensions (context) - Wand - 1979
29 A category-theoretic account of program modules - Moggi - 1989
29 A categorical approach to general systems theory (context) - Goguen, Ginali - 1978
28 a system for the structured elaboration of correct programs .. (context) - Goguen, Burstall - 1980
26 A study in the foundations of programming methodology: speci.. (context) - Goguen, Burstall - 1985
26 the existence of free models in abstract algebraic instituti.. (context) - Tarlecki - 1985
24 Quasi-varieties in abstract algebraic institutions (context) - Tarlecki - 1986
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
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