Bengt Nordström

• Advances in Natural Language Processing
• Types for Proofs and Programs