Reduction System for Extensional Lambda-mu Calculus (Q5170828)
From MaRDI portal
scientific article; zbMATH DE number 6320454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reduction System for Extensional Lambda-mu Calculus |
scientific article; zbMATH DE number 6320454 |
Statements
Reduction System for Extensional Lambda-mu Calculus (English)
0 references
24 July 2014
0 references
