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
