Term Rewriting and Applications
From MaRDI portal
Publication:5703851
DOI10.1007/b135673zbMath1078.03013OpenAlexW2504734884MaRDI QIDQ5703851
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135673
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (11)
Semantics of higher-order quantum computation via geometry of interaction ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Factorization in call-by-name and call-by-value calculi via linear logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ Confluence Results for a Quantum Lambda Calculus with Measurements ⋮ Quantum implicit computational complexity ⋮ Confluence in probabilistic rewriting ⋮ On reduction and normalization in the computational core
This page was built for publication: Term Rewriting and Applications
