Silvio Ghilardi, Marek W. Zawadowski. Model Completions, r-Heyting Categories. Annals of Pure and Applied Logic, 88(1):27-46, 1997.
@article{GhilardiZ97, title = {Model Completions, r-Heyting Categories}, author = {Silvio Ghilardi and Marek W. Zawadowski}, year = {1997}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GhilardiZ97}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {88}, number = {1}, pages = {27-46}, }