https://catalogue-scientifique.canada.ca/record=2227263~S6*frc
carnegie-mellon univ pittsburgh pa school of computer science, 2008
We present translations from a logic with indexed lax modalities to first-order intuitionistic logic and intuitionistic linear logic. These translations rely...
Publication gouvernementale