Lagois connections: a counterpart to Galois connections

Authors:
Austin Melton;Bernd S. W. Schröder;George E. Strecker
Affiliations:
Michigan Technological Univ., Houghton;Hampton Univ., Hampton, VA;Kansas State Univ., Manhattan
Venue:
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics. Part II : lambda calculus and domain theory: lambda calculus and domain theory
Year:
1994

Temporal Algebra

Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Temporal algebra

Algebraic and coalgebraic methods in the mathematics of program construction
Temporal algebra

Mathematical Structures in Computer Science
Call-by-value is dual to call-by-name: reloaded

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Call-by-value is dual to call-by-name: reloaded

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications

Hi-index	0.00