\(\pi\)-calculus in (Co)inductive-type theory (Q1589654): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
Property / author
 
Property / author: Furio Honsell / rank
Normal rank
 
Property / author
 
Property / author: Marino Miculan / rank
Normal rank
 
Property / author
 
Property / author: Ivan Scagnetto / rank
Normal rank
 

Revision as of 18:16, 14 February 2024

scientific article
Language Label Description Also known as
English
\(\pi\)-calculus in (Co)inductive-type theory
scientific article

    Statements

    \(\pi\)-calculus in (Co)inductive-type theory (English)
    0 references
    12 December 2000
    0 references
    higher-order abstract syntax
    0 references
    \(\pi\)-calculus
    0 references
    proof checking
    0 references
    logical frameworks
    0 references
    typed \(\pi\)-calculus
    0 references

    Identifiers