scientific article; zbMATH DE number 891219

zbMath0844.03004MaRDI QIDQ4880706

Paula G.Severi

Publication date: 18 June 1996

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

zbMATH Keywords

rewritingpure type systemslambda calculustyping

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40)

Related Items

On the longest perpetual reductions in orthogonal expression reduction systems ⋮ Type inference for pure type systems ⋮ Semantical analysis of perpetual strategies in \(\lambda\)-calculus ⋮ Perpetual reductions in \(\lambda\)-calculus ⋮ Compositional characterisations of \(\lambda\)-terms using intersection types

Uses Software

• Coq
• Miranda
• Nuprl
• Automath
• ALF
• LEGO