A modal proof theory for final polynomia
β
David Friggens; Robert Goldblatt
π
Article
π
2006
π
Elsevier Science
π
English
β 336 KB