Parsing as Natural Deduction

35833

Related Entities

Lambek Calculus

OtherEntity

Parser

Method