Consuming and Persistent Types for Classical Logic (Q5145668)

From MaRDI portal
scientific article; zbMATH DE number 7299500
Language Label Description Also known as
English
Consuming and Persistent Types for Classical Logic
scientific article; zbMATH DE number 7299500

    Statements

    Consuming and Persistent Types for Classical Logic (English)
    0 references
    0 references
    0 references
    21 January 2021
    0 references
    classical logic
    0 references
    exact measures
    0 references
    intersection and union types
    0 references
    lambda-mu calculus
    0 references
    natural deduction
    0 references

    Identifiers