Logical Predicates for Intuitionistic Linear Type Theories (1999)

Cached

Download Links

by Masahito Hasegawa
Venue:In Typed Lambda Calculi and Applications (TLCA'99), Lecture Notes in Computer Science 1581
Citations:11 - 4 self