Semantic Trees Revisited: Some New Completeness Results.

Christian G. Fermller

Browse the full CADE paper archive.