Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68T15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B70 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6062061 / rank
 
Normal rank
Property / zbMATH Keywords
 
logical frameworks
Property / zbMATH Keywords: logical frameworks / rank
 
Normal rank
Property / zbMATH Keywords
 
higher-order abstract syntax
Property / zbMATH Keywords: higher-order abstract syntax / rank
 
Normal rank
Property / zbMATH Keywords
 
interactive theorem proving
Property / zbMATH Keywords: interactive theorem proving / rank
 
Normal rank
Property / zbMATH Keywords
 
induction
Property / zbMATH Keywords: induction / rank
 
Normal rank
Property / zbMATH Keywords
 
variable binding
Property / zbMATH Keywords: variable binding / rank
 
Normal rank
Property / zbMATH Keywords
 
Isabelle/HOL
Property / zbMATH Keywords: Isabelle/HOL / rank
 
Normal rank
Property / zbMATH Keywords
 
Coq
Property / zbMATH Keywords: Coq / rank
 
Normal rank

Revision as of 01:31, 30 June 2023

scientific article
Language Label Description Also known as
English
Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
scientific article

    Statements

    Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (English)
    0 references
    0 references
    0 references
    31 July 2012
    0 references
    0 references
    logical frameworks
    0 references
    higher-order abstract syntax
    0 references
    interactive theorem proving
    0 references
    induction
    0 references
    variable binding
    0 references
    Isabelle/HOL
    0 references
    Coq
    0 references