Extended Curry-Howard correspondence for a Basic Constructive Modal Logic (2001)

by G Bellin, V de Paiva, E Ritter
Venue:In Methods for Modalities