Report copyright - Declarative Programming and (Co)Induction · 2019. 3. 4. · Plan of the course 1 Induction: inductive definitions and proofs by induction 2 Small step and big step semantics, lambda
Please pass captcha verification before submit form