Compositional characterization of observable program properties
B. Steffen, C. Barry Jay, M. Mendler (1992)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Displaying similar documents to “Fibrations and recursivity”
Compositional characterization of observable program properties
Bounded functors, finite limits and an application of injective topoi
Robert Rosebrugh (1983)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A -categorical approach to change of base and geometric morphisms I
A. Carboni, G. M. Kelly, R. J. Wood (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Stacks and equivalence of indexed categories
Marta Bunge, Robert Pare (1979)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Model induced adjoint functors
H. Appelgate, M. Tierney (1969)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Adjoints, multi-adjoints, pluri-adjoints.
Solian, Alexandru, Viswanathan, T.M. (1995)
Bulletin of the Belgian Mathematical Society - Simon Stevin
Similarity:
Natural anadeses and catadeses
Dominique Bourn (1973)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: