The Types Forum

lists.seas.upenn.edu

Visit Site

E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.

Rate This Site

More in Forums and Networks Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5758614" title="The Types Forum"><img src="https://e-sygoing.link/badge.php?lid=5758614" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

The Types Forum

Rate This Site

Submit Your Site

Related Links