Linear logic
Jean-Yves Girard
- Vol. 50, Iss: 1, pp 1
Reads0
Chats0
About:
The article was published on 1987-01-30 and is currently open access. It has received 3947 citations till now. The article focuses on the topics: Affine logic & Substructural logic.read more
Citations
More filters
Journal ArticleDOI
Domain theory for concurrency
Mikkel Nygaard,Glynn Winskel +1 more
TL;DR: The domain theory can be generalised to presheaf models, providing a more refined treatment of nondeterministic branching, and a discussion of a broader programme of research, towards a fully fledged domain theory for concurrency.
Journal ArticleDOI
One-and-a-halfth-order Logic
Murdoch J. Gabbay,Aad Mathijssen +1 more
TL;DR: One-and-a-halfth-order logic is presented, in which meta-variables ranging over formulae, variables, and terms, and properties of syntax such as alpha-equivalence, capture-avoiding substitution and assumptions about freshness of variables with respect to meta- Variables are made explicit.
Posted Content
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Ichiro Hasuo,Naohiko Hoshino +1 more
TL;DR: In this article, the authors propose a denotational model for quantum functional programming, based on Girard's Geometry of Interaction (GoI), and prove adequacy of their semantics.
Journal Article
Algebraic and logical methods in quantum computation
TL;DR: A new method to efficiently approximate special unitary operators and a mathematical formalization of a fragment of the Quipper quantum programming language called Proto-Quipper, which formalizes a restricted but expressive fragment of Quipper.
Linguistic side effects
TL;DR: This unified account is the first to predict a complex pattern of interaction between anaphora and raised-wh questions, without any stipulation on both, and provides the first concrete processing explanation of linear order in polarity sensitivity.