An Internal Language for Autonomous Categories

An Internal Language for Autonomous Categories

Bibliographic Details
Main Authors:	Mackie, I, Roman, L, Abramsky, S
Format:	Conference item
Published:	1993

Similar Items

Arboreal categories and resources
by: Abramsky, S, et al.
Published: (2021)

Autonomous categories /
by: 312890 Barr, Michael
Published: (1979)

Interaction Categories (Extended Abstract)
by: Abramsky, S
Published: (1993)

Specifying Interaction Categories
by: Pavlovic, D, et al.
Published: (1997)

Logic and categories as tools for building theories
by: Abramsky, S
Published: (2010)

Interaction Categories and Communicating Sequential Processes
by: Abramsky, S
Published: (1994)

Introduction to categories and categorical logic
by: Abramsky, S, et al.
Published: (2010)

Arboreal Categories: An Axiomatic Theory of Resources
by: Samson Abramsky, et al.
Published: (2023-08-01)

Abstract Scalars‚ Loops‚ and Free Traced and Strongly Compact Closed Categories
by: Abramsky, S
Published: (2005)

Nuclear and trace ideals in tensored *−categories
by: Abramsky, S, et al.
Published: (1999)

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

From Proof Nets to the Free *-Autonomous Category
by: Francois Lamarche, et al.
Published: (2006-10-01)

Category Theory for Autonomous and Networked Dynamical Systems
by: Jean-Charles Delvenne
Published: (2019-03-01)

Chu I: cofree equivalences‚ dualities and −autonomous categories
by: Pavlovic, D
Published: (1997)

Category mistakes and figurative language
by: Magidor, O
Published: (2015)

Language, Categories, and Social Reality
by: Zosimo E. Lee
Published: (2001-12-01)

CATEGORY OF SECONDARY POTENTIALITY IN LANGUAGE PHILOSOPHY
by: A. S. Druzhinin
Published: (2018-12-01)

Acronyms and neighboring categories in the language of photography
by: Iryna Mykytka
Published: (2022-12-01)

Theticity and sentence-focus in Italian: grammatically encoded categories or categories of language use?
by: Belligh Thomas, et al.
Published: (2022-07-01)

Games in the Semantics of Programming Languages
by: Abramsky, S
Published: (1997)

Game Semantics for Programming Languages
by: Abramsky, S
Published: (1997)

The syntactic side of autonomous categories enriched over generalised metric spaces
by: Fredrik Dahlqvist, et al.
Published: (2023-12-01)

The IX International Scientific Proceedings: Language Categories and Units: Syntagmatical Aspect. September, 22-24th, 2011
by: L V Krivoshlykova, et al.
Published: (2011-12-01)

Category theory for quantum natural language processing
by: Toumi, A
Published: (2022)

Categories of model and method and the semiotic dichotomy of language
by: N. V. Ivanov
Published: (2008-02-01)

On the category of causative verbs in Tibeto-Burman languages
by: Sun, Hongkai
Published: (2024)

INTERNATIONAL COOPERATION IN THE SYSTEM OF ECONOMIC CATEGORIES
by: R. V. Kashbraziyev
Published: (2012-06-01)

Relating toy models of quantum computation: comprehension‚ complementarity and dagger autonomous categories
by: Pavlovic, D
Published: (2011)

The category of finity and infinity in connection with other categories of a verb (on a material of Abkhazo-Adygian languages)
by: Z R Khezheva
Published: (2008-12-01)

The difference λ-calculus: a language for difference categories
by: Alvarez-Picallo, M, et al.
Published: (2020)

ON DYNAMICS OF CATEGORY OF STATE WORDS IN THE HISTORY OF THE RUSSIAN LANGUAGE
Published: (2016-03-01)

PARAMETERS OF EVALUATION AS A LINGUISTIC CATEGORY IN THE ENGLISH LANGUAGE
by: USM ADMIN
Published: (2011-02-01)

Quantum Structures and Category Theory
by: Roman Fric
Published: (2004-01-01)

Approaches to Development of the Category of «International Innovation Cluster»
by: Kudriavets Yevhen V.
Published: (2020-07-01)

Universal Categories, Single Language Realisations: Aspectuality in French and other Romance Languages
by: Sarah Dessì Schmid
Published: (2022-10-01)

On the ways of implementing the category of argumentativeness in online English-language movie reviews
by: O.R. Galiullina, et al.
Published: (2022-04-01)

The Features of the Expression of the Category of Focus in the Cleft Sentence of the English Language
by: E.A. Balygina, et al.
Published: (2023-12-01)

The Affect of Aspect Category on Formation of Time Meanings in Russian Language
by: Leyla Çiğdem DALKILIÇ
Published: (2018-12-01)

Categorial differences between religious and scientific language: The agency of God
by: Luco J. van den Brom
Published: (2023-08-01)

Comparative Analysis of the Category of Diminutiveness in the Russian, English and Armenian Languages
by: Karine Abrahamyan
Published: (2019-10-01)