Can Neural Networks Understand Logical Entailment?
Types and Programming Languages