plt17:lecture_10

Lecture 10

Coq demonstration

Coq Files

Inductive definition for natural numbers ( natural.v )
Simple arithmetic language ( arith.v )
Lambda-calculus ( lambda.v )

plt17/lecture_10.txt · Last modified: 2017/09/24 12:43 by hossein