1. Paweł Wieczorek
  2. MgrCoq

Source

MgrCoq /

Filename Size Date modified Message
Code
Nbe
doc/system
99 B
164 B
430 B
274 B
6.3 KB
86 B
Normalization by Evaluation, in Applicative-domain-style
for Simply typed calculus.