Skip to main navigation Skip to search Skip to main content

TYPES: Computer-assisted reasoning based on type theory

Project: Research

Project Details

StatusFinished
Effective start/end date1/08/00 → 31/12/03