Logic and Types

The division is one of two new ones deriving from the former computing science division, working for example in the fields of type theory, proofs, constructive mathematics, and functional programming.

Published: Tue 24 Apr 2018.