Four papers coauthored by IRIF members will be presented at the conference TYPES'22, the main conference on type theory, this summer.