Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic

By G. Bellin, Valeria C V de Paiva, Eike Ritter. 2001

97 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/58960bac82fdc41a360265df90289462bea4c99f