TLCA 2014 - 12th International Conference on Typed Lambda Calculi and Applications (TLCA)

The 12th International Conference on Typed Lambda Calculi and Applications (TLCA) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are:
Proof-theory: natural deduction, sequent calculi, cut elimination and normalization, propositions as types, linear logic and proof nets, type-theoretic aspects of computational complexity
Semantics: denotational semantics, game semantics, realisability, domain theory, categorical models
Types: subtypes, dependent types, polymorphism, intersection types and related approaches, type inference and type checking, types in program analysis and verification, types in proof assistants
Programming: foundational aspects of functional programming, object-oriented programming and other programming paradigms, flow analysis of higher-type computation, program equivalence, program transformation and optimization