Bi-Heyting algebras, toposes and modalities

https://mathesisuniversalis2.wordpress.com/?attachment_id=530

Advertisements