Report copyright - An Overview of Linear Logic Programming - LIX - … Overview of Linear Logic Programming 3 1.2.1 Uniform proofs The constants that appear in logical formulas are of two kinds: logical
Please pass captcha verification before submit form