Adjunction models for call-by-push-value with stacks.

Levy, Paul Blain

Displaying similar documents to “Adjunction models for call-by-push-value with stacks.”

Models of sketches

Michael Barr (1986)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Predicative algebraic set theory.

Awodey, Steve, Warren, Michael A. (2005)

Theory and Applications of Categories [electronic only]

Similarity:

Complete theories in $2$ -categories

Renato Betti, Marco Grandis (1988)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

Similarity:

Towards a logic of semiotic systems

Constantin Thiopoulos (1992)

Mathématiques et Sciences Humaines

Similarity:

The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category...