Impredicative Identity Criteria
β
LEON HORSTEN
π
Article
π
2010
π
John Wiley and Sons
π
English
β 184 KB