Focusing and Polarization in Intuitionistic Logic (Q3608430)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Focusing and Polarization in Intuitionistic Logic
scientific article

    Statements

    Focusing and Polarization in Intuitionistic Logic (English)
    0 references
    0 references
    0 references
    5 March 2009
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references