Types and higher-order recursion schemes for verification of higher-order programs (Q5261537)
From MaRDI portal
scientific article; zbMATH DE number 6455631
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Types and higher-order recursion schemes for verification of higher-order programs |
scientific article; zbMATH DE number 6455631 |
Statements
Types and higher-order recursion schemes for verification of higher-order programs (English)
0 references
3 July 2015
0 references
higher-order recursion scheme
0 references
model checking
0 references
type system
0 references
