Structural frameworks, substructural logics, and the role of elimination inferences

Publisher Website

26 September 1991

book chapter
Published by Cambridge University Press (CUP)

p. 385-403
https://doi.org/10.1017/cbo9780511569807.016

Abstract

Logical Frameworks - September 1991

Keywords