lambda
HOMeWork 9, the ninth iteration of the Higher-Order Metaphysics Workshop, will take place September 25--26 at Johns Hopkins University in Baltimore. We invite submissions of extended abstracts prepared for anonymous review. We welcome submissions, on any philosophical topic, that are about or make use of higher-order languages---broadly construed. Abstracts should be submitted here. The deadline for submission is May 15, with notifications of acceptance in early June.



universal-quantifier