A computational analysis of Girard's translation and LC | IEEE Conference Publication | IEEE Xplore