Logic Enriched over a Quantale (Invited Talk).

Alexander Kurz

Browse the full CALCO paper archive.