Journal | Authors
The semantic view of theories and higher-order languages
2019
Laurenz Hudetz
Synthese 196/3
