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

TitleA contextual type theory with judgemental modalities for reasoning from open assumptions
Publication TypeJournal Article
AuthorsPrimiero, G
Download PDF (Author PDF)