Environments, Continuation Semantics and Indexed Categories (1997)

Cached

Download Links

by John Power , Hayo Thielecke
Venue:Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
Citations:6 - 2 self

Documents Related by Co-Citation

100 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
734 Notions of Computation and Monads – Eugenio Moggi - 1991
625 Light Linear Logic – Jean-yves Girard
717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
696 Heuristics: Intelligent Search Strategies for Computer Problem Solving – J Pearl - 1984
1499 A Note on Two Problems in Connexion with Graphs – E. W. Dijkstra - 1959
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005