I did indeed, and during the time that he was developing Montague Grammar, which is probably the main reason to be interested in him. Montague grammar is a cancellation grammar; that is, grammatical categories are named for what others they combine to produce what. For example, terms (sumti) are category t, predicates are category t/S, where S is the category of sentences. so, when a term and a predicate come together t t/S the t's cancel out and the result is S, a sentence. Montague added a transformational component, so that to work the two pieces did not have to occur next to each other in the surface structure of the text. The cancellation grammar lends itself nicely to Frege's sort of semantics -- things with holes in them are of a class with labelled holes. For more, see Formal Philosophy and the Unicorn Papers.