Term Rewriting and Applications

DOI10.1007/B135673zbMath1078.68018arXiv0706.1728OpenAlexW2504734884MaRDI QIDQ5703850

Jérôme Rocheteau

Publication date: 11 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0706.1728

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Call-by-name reduction and cut-elimination in classical logic

This page was built for publication: Term Rewriting and Applications