Logical Predicates for Intuitionistic Linear Type Theories (0)

by M Hasegawa
Venue:In Typed Lambda Calculi and Applications (TLCA’99