George E. Strecker

According to our database, George E. Strecker authored at least 9 papers between 1985 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Abstract and Concrete Categories - The Joy of Cats.

Jirí Adámek, Horst Herrlich, George E. Strecker

Dover Publications, ISBN: 978-0-486-46934-8, 2009

2000

Flows With Respect to a Functor.

George E. Strecker

Appl. Categorical Struct., 2000

1994

Lagois Connections - a Counterpart to Galois Connections.

Austin Melton, Bernd S. W. Schröder, George E. Strecker

Theor. Comput. Sci., 1994

Regular closure operators.

Gabriele Castellini, Jürgen Koslowski, George E. Strecker

Appl. Categorical Struct., 1994

1991

Connections.

Austin Melton, Bernd S. W. Schröder, George E. Strecker

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1988

On Residuated Approximations.

Hajnal Andréka, R. J. Greechie, George E. Strecker

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

1987

A Category of Galois Connections.

J. M. McDill, Austin Melton, George E. Strecker

Proceedings of the Category Theory and Computer Science, 1987

1985

Concrete Categories and Injectivity.

H. Bargenda, Horst Herrlich, George E. Strecker

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

Calois Connections and Computer Science Applications.

Austin Melton, David A. Schmidt, George E. Strecker

Proceedings of the Category Theory and Computer Programming, 1985