Formalising in nominal Isabelle Crary's completeness proof for equivalence checking (Q2871867)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formalising in nominal Isabelle Crary's completeness proof for equivalence checking |
scientific article; zbMATH DE number 6244443
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalising in nominal Isabelle Crary's completeness proof for equivalence checking |
scientific article; zbMATH DE number 6244443 |
Statements
10 January 2014
0 references
logical relations
0 references
proof assistants
0 references
formalisations
0 references
Isabelle/HOL
0 references
nominal logic work
0 references
Formalising in nominal Isabelle Crary's completeness proof for equivalence checking (English)
0 references
