scientific article; zbMATH DE number 2090063

zbMath1045.68075MaRDI QIDQ4808736

Paul-André Melliès

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2378/23780024.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

Braids via term rewriting ⋮ Proof Pearl: Abella Formalization of λ-Calculus Cube Property ⋮ Asynchronous games. II: The true concurrency of innocence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Directed Homotopy in Non-Positively Curved Spaces