Distributive \(\rho\)-calculus
type: Item
instance of: scholarly article
zbMATH Open document ID: 1279.03057
author: Horatiu Cirstea
author: Clément Houtmann
author: Benjamin Wack
published in: Electronic Notes in Theoretical Computer Science
publication date: 2014-01-24T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6250530
zbMATH Keywords: rewriting calculus
zbMATH Keywords: lambda calculus
zbMATH Keywords: term rewriting systems
zbMATH Keywords: fixpoints
MaRDI profile type: Publication
full work available at URL: j.entcs.2007.06.010
OpenAlex ID: W2027230920
cites work: A feature constraint system for logic programming with entailment
cites work: ELAN from a rewriting logic point of view
cites work: Q2778872
cites work: Types for Proofs and Programs
cites work: Pattern Matching in Trees
cites work: Fast Pattern Matching in Strings
cites work: Parallel reductions in \(\lambda\)-calculus
cites work: Lambda calculus with patterns
DOI: 10.1016/J.ENTCS.2007.06.010
title: Distributive \(\rho\)-calculus
description: scientific article; zbMATH DE number 6250530