Current tools and topics bearing on linguistics

Lambda calculus and intuitionistic type theory Montague semantics

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.
	Domain-specific languages Haskore, Fran and Pan, financial contracts, theatre lighting

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.
	Domain-specific languages
	Meta-programming and computational reflection

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.
	Domain-specific languages
	Meta-programming and computational reflection
	Recent advances in analysis of variables hygeinic macro expansion, explicit substituion, higher-order abstract syntax

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.
	Domain-specific languages
	Meta-programming and computational reflection
	Recent advances in analysis of variables
	Category theory categorial grammar (see http://www.cs.man.ac.uk/ai/CG/)

Current tools and topics bearing on linguistics

	Lambda calculus and intuitionistic type theory
	Curry-Howard "isomorphism", linear logic, etc.
	Domain-specific languages
	Meta-programming and computational reflection
	Recent advances in analysis of variables
	Category theory
	Refined notions of algebraic data type (roughly speaking, generalizations of context-free grammars) regular/polynomial algebraic types and CFGs indexed languages and polymorphism nested data types and ??