A Coalgebraic View of Heyting Duality
Brian A. Davey, John C. GalatiVolume:
75
Pages:
12
Journal:
Studia Logica
DOI:
10.1023/b:stud.0000009559.44998.a3
Date:
December, 2003
File:
PDF, 1.93 MB
2003