Formalisation of normalisation by evaluation for simply typed lambda calculus extended with natural numbers, lists, pairs, and streams.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool