逻辑的非对称组合是函数的:一个综述

雷纳托·内维斯,亚历山大·马德拉,路易斯·索尔斯·巴博萨,曼纽尔·马丁斯.逻辑的非对称组合是函数的:一个综述.菲利普·詹姆斯,马库斯·罗根巴赫,编辑,代数开发技术的最新趋势-第23届IFIP WG 1.3国际研讨会,WADT 2016,Gregynog,英国,2016年9月21-24日,修订论文集.第10644卷计算机科学课堂讲稿,页39-55、斯普林格、,2016 [doi]

摘要

缺少摘要。