Mitsuhiro Okada, Ryo Takemura. Remarks on Semantic Completeness for Proof-Terms with Laird s Dual Affine/Intuitionistic ::::lambda:::: -Calculus. In Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, editors, Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Volume 4600 of Lecture Notes in Computer Science, pages 167-181, Springer, 2007. [doi]
Abstract is missing.