Jens Palsberg. Normal Forms have Partial Types. Information Processing Letters, 1992.
[ Dyntyp ]
@article{palsberg92,
Author = {Palsberg, Jens},
Title = {Normal Forms have Partial Types},
Journal = {Information Processing Letters},
Year = {1992}
}
Get EndNote Reference (.ref)