Formal SOS-Proofs for the Lambda-Calculus (Q5178966)
From MaRDI portal
scientific article; zbMATH DE number 6416478
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal SOS-Proofs for the Lambda-Calculus |
scientific article; zbMATH DE number 6416478 |
Statements
Formal SOS-Proofs for the Lambda-Calculus (English)
0 references
18 March 2015
0 references
structural operational semantics
0 references
proof assistants
0 references
\(\lambda\)-calculus
0 references
Nominal Isabelle
0 references
