scientific article; zbMATH DE number 1508933

MaRDI QIDQ4506396zbMATH OpenFDO

Authors Frédéric Lang, Pierre Lescanne

Publication date 18 September 2000

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2000/A2000-07/A2000-07.html

zbMATH Keywords

strong normalizationtermination

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited in

(6)

• Sub-core solutions of the problem of strong implementation
• On the Power of Substitution in the Calculus of Structures
• scientific article; zbMATH DE number 2086241 (Why is no real title available?)
• scientific article; zbMATH DE number 1015107 (Why is no real title available?)
• scientific article; zbMATH DE number 7393562 (Why is no real title available?)
• scientific article; zbMATH DE number 7599997 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4506396)