Barbara Hall Partee

Formal semantics of Natural Language: Deletion and variable binding

Barbara Hall Partee, B. Partee, 1975 .

Fundamentals of Mathematics for Linguistics

Barbara Hall Partee, 1978 .

Bibliography : logic and language

Barbara Hall Partee, Sharon Sabsay, John Soper, 1971 .

Opacity, coreference, and pronouns

Barbara Hall Partee, B. Partee, 1970, Synthese.