Sciweavers

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
Recent countries visiting this post
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
us3United States