scientific article; zbMATH DE number 1231659

zbMath0917.68118MaRDI QIDQ4222984

Jean-Pierre Jouannaud

Publication date: 7 January 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15008

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

zbMATH Keywords

rewritingCurry-Howard semantic basis

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Uses Software

• Coq
• Maude

This page was built for publication: