Besides the most common venues (perhaps POPL, ICFP, LICS and FSCD), where else are papers on type theory commonly published?

Especially, I'm looking for more "pure mathematical" venues/journals which publish work on type theory (especially of the more theoretical kind) from time to time.


1 Answer 1


You can follow the activities of the EUTypes network, and see what meeting are organized. The list of events is growing nicely. As for journals, I can think of Logical Methods in Computer Science and Mathematical Structures in Computer Science. I can also think of some journals which are owned by you know who, so not mentionable.

  • 1
    $\begingroup$ Hm, the E-word company? $\endgroup$
    – xrq
    Jan 27, 2019 at 22:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.