Sciweavers

Share
LICS
2003
IEEE

A Proof Theory for Generic Judgments: An extended abstract

10 years 5 days ago
A Proof Theory for Generic Judgments: An extended abstract
Dale Miller, Alwen Fernanto Tiu
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where LICS
Authors Dale Miller, Alwen Fernanto Tiu
Comments (0)
books