Studia Logica: An International Journal for Symbolic Logic, Vol. 59, No. 1, Combining Logics I (Jul., 1997), pp. 65-102 (38 pages) We investigate the semantics of the logical systems obtained by ...

This is a preview. Log in through your library . Abstract Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules.

The course assumes the background of 321 and will cover various type system material, including the polymorphic lambda calculus, Hindley-Milner type inference, dependent types, subtyping, and ...