Remarks on semantic completeness for proof-terms with Laird's dual affine/intuitionistic λ-calculus
Mitsuhiro Okada, Ryo Takemura
研究成果: Conference contribution
1
被引用数
(Scopus)