Intuitionistic Letcc via Labelled Deduction (Q4982116): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 19:18, 5 March 2024
scientific article; zbMATH DE number 6418736
Language | Label | Description | Also known as |
---|---|---|---|
English | Intuitionistic Letcc via Labelled Deduction |
scientific article; zbMATH DE number 6418736 |
Statements
Intuitionistic Letcc via Labelled Deduction (English)
0 references
23 March 2015
0 references
modal translation
0 references
intuitionistic logic
0 references
control operators
0 references
dependent types
0 references