Rational Lawvere Logic (Invited Paper).

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Browse the full CSL paper archive.