It is hard to find a class of natural language phenomena which exhibits more complex interactions between syntax and semantics than comparative constructions. Comparatives come with phrasal or clausal complements. In this paper, we focus on phrasal comparatives, which on first inspection look simpler than the clausal ones, but in fact add a degree of complexity. We will consider predicative com...

Syntax and Variable Binding (Extended Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh

mechanism of the binding of lomefloxacin (lmf) with human serum albumin has been studied at physiological ph (7.4) using fluorescence spectroscopic technique. lmf is a third-generation fluoroquinolone antibiotic that exhibits striking potency against a broad spectrum of gram-negative and gram-positive bacteria through inhibition of dna gyrase. lomefloxacin is a drug that is excreted in urine an...

Abstract By abstracting over well-known properties of De Bruijn’s representation with nameless dummies, we design a new theory syntax variable binding and capture-avoiding substitution. We propose it as simpler alternative to Fiore, Plotkin, Turi’s approach, which establish strong formal link. also show that our easily incorporates simple types equations between terms.