←
Voltar aos Detalhes do Artigo
The rules-as types interpretations of Schröder-Heister's extension of natural deduction
Baixar