%0 Conference Proceedings
%F popf99
%A Polakow, J.
%A Pfenning, F.
%T Natural deduction for intuitionistic non-commutative linear logic
%B Typed Lambda Calculi and Applications
%P 644-644
%I Springer
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/polakow1999.pdf
%D 1999
%K typetheory
%K  regexp