Meaningless Sets in Infinitary Combinatory Logic (Q5111912)
From MaRDI portal
scientific article; zbMATH DE number 7205339
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Meaningless Sets in Infinitary Combinatory Logic |
scientific article; zbMATH DE number 7205339 |
Statements
27 May 2020
0 references
infinitary rewriting
0 references
infinitary combinatory logic
0 references
meaningless set confluence and normalisation
0 references
Meaningless Sets in Infinitary Combinatory Logic (English)
0 references
