J-Calc: a typed lambda calculus for intuitionistic justification logic (Q276037): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Created claim: Wikidata QID (P12): Q113317925, #quickstatements; #temporary_batch_1712201099914
Property / Wikidata QID
 
Property / Wikidata QID: Q113317925 / rank
 
Normal rank

Revision as of 11:16, 4 April 2024

scientific article
Language Label Description Also known as
English
J-Calc: a typed lambda calculus for intuitionistic justification logic
scientific article

    Statements

    J-Calc: a typed lambda calculus for intuitionistic justification logic (English)
    0 references
    0 references
    0 references
    26 April 2016
    0 references
    typed \(\lambda\)-calculus
    0 references
    justification logic
    0 references
    modular programming
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references