Amanote Research
Register
Sign In
Modified Realizability Interpretation of Classical Linear Logic
doi 10.1109/lics.2007.32
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2007
Authors
Paulo Oliva
Publisher
IEEE
Related search
Classical Linear Logic of Implications
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Classical Realizability as a Classifier for Nondeterminism
Hybrid Realizability for Intuitionistic and Classical Choice
A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantum Logic in the Framework of Linear Logic
Annals of the Japan Association for Philosophy of Science
A Geometrical Interpretation of Classical W-Transformations
Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy Physics
Nuclear
Causality in Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming in a Fragment of Intuitionistic Linear Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Natural Three-Valued Logics and Classical Logic
Logical Investigations
