Bistructures, bidomains, and linear logic.

Pierre-Louis Curien Gordon D. Plotkin Glynn Winskel

Published in: Proof, Language, and Interaction (2000)

Keyphrases

linear logic
fixed point
logic programming
logical framework
desirable properties
cut elimination
intuitionistic logic
proof search
proof theoretic
sequent calculus
knowledge representation
dynamical systems
modal logic
inference rules