Sciweavers

A Proof Theory for Generic Judgments: An extended abstract
Recent countries visiting this post
A Proof Theory for Generic Judgments: An extended abstract
ru3Russian Federation
us2United States