article

A contextual type theory with judgemental modalities for reasoning from open assumptions

Giuseppe Primiero (2012) LOGIQUE ET ANALYSE

Reference details