6
$\begingroup$

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.

$\endgroup$
6
$\begingroup$

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.

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

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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