Programming language semantics in Dedukti - Catherine Dubois, Amelie Ledein
Channel: TYPES 2022
Date: 2022-09-19

EuroProofNet Meeting - 1st Dedukti School