Logic, programming, and type systems

Discover papers and researchers connected with this scholarly topic.