Normal Form Theorem Proving for the Lambek Calculus (1990)

by Mark Hepple
Citations:18 - 5 self