Amanote Research
Register
Sign In
A Proof Theory for Generic Judgments: An Extended Abstract
doi 10.1109/lics.2003.1210051
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
D. Miller
A. Tiu
Publisher
IEEE Comput. Soc
