Confluence of the coinductive \(\lambda\)-calculus (Q1884931): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4945244 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: de Bruijn notation as a nested datatype / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2723897 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinitary lambda calculus / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal coalgebra: A theory of systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4143279 / rank | |||
Normal rank |
Latest revision as of 14:50, 7 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Confluence of the coinductive \(\lambda\)-calculus |
scientific article |
Statements
Confluence of the coinductive \(\lambda\)-calculus (English)
0 references
27 October 2004
0 references
coinductive \(\lambda\)-calculus
0 references
reduction
0 references
confluence
0 references