scientific article; zbMATH DE number 2086241
From MaRDI portal
Publication:3044339
zbMATH Open1059.68020MaRDI QIDQ3044339FDOQ3044339
Authors: Steffen Van Bakel, Mariangiola Dezani-Ciancaglini 
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2286/22860356.htm
Title of this publication is not available (Why is that?)
Recommendations
- Strong normalization of substitutions
- Strong normalization of substitutions
- Explicit substitution. On the edge of strong normalization
- scientific article; zbMATH DE number 1508933
- Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
- Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation
- scientific article; zbMATH DE number 1956511
- Normalisation for higher-order calculi with explicit substitutions
- Foundations of Software Science and Computation Structures
- \(\lambda\)-calculi with explicit substitutions preserving strong normalization
Cited In (8)
- Foundations of Software Science and Computation Structures
- Reductions, intersection types, and explicit substitutions
- Characterising Strongly Normalising Intuitionistic Sequent Terms
- Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
- Characterising strongly normalising intuitionistic terms
- Intersection types for explicit substitutions
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
- Cut-elimination in the strict intersection type assignment system is strongly normalizing
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 Q3044339)
