TYPES: Computer-assisted reasoning based on type theory

Project: Research

StatusFinished
Effective start/end date1/08/0031/12/03

ID: 21702309