How do you tell if a PTS is consistent or not? CoC and System U/U- aren't the only ones after all, is there a pattern

Follow

The Next 700 Pure Type Systems

Sign in to participate in the conversation
types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.