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
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
