Jean-Pierre Jouannaud
· 8 obras en el catálogo
Obras

Algebra, meaning, and computation

Conditional term rewriting systems
Functional programming languages and computer architecture

Conditional Term Rewriting Systems
Certified Programs and Proofs

Term rewriting
1995

Functional Programming Languages and Computer Architecture
