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

by Gianluigi Bellin , Valeria de Paiva , Eike Ritter
Venue:In Proceedings of Methods for Modalities
Citations:10 - 2 self