scientific article; zbMATH DE number 1086659
From MaRDI portal
Publication:4362909
zbMATH Open0882.03010MaRDI QIDQ4362909FDOQ4362909
Authors: Gilles Barthe, Paul-André Melliès 
Publication date: 13 November 1997
Title of this publication is not available (Why is that?)
Recommendations
- ON THE REDUCTION OF TYPE THEORY
- scientific article; zbMATH DE number 1722651
- Reductions, intersection types, and explicit substitutions
- Typed Lambda Calculi and Applications
- Modular properties of algebraic type systems
- A type reduction from proof-conditional to dynamic semantics
- Reducibility of types in typed lambda calculus. Comment on a paper by Richard Statman
- Reduction and unification in lambda calculi with a general notion of subtype
- Reducibility: a ubiquitous method in lambda calculus with intersection types
- An algebraic semantics of higher-order types with subtypes
confluencestrong normalizationtyped \(\lambda\)-calculialgebraic type systemslabelled syntaxSubject Reductiontyped rewriting systems
Cited In (7)
- Title not available (Why is that?)
- Typed Lambda Calculi and Applications
- Subject Reduction in Multi-Universe Type Theories
- A note on subject reduction in \((\to, \exists)\)-Curry with respect to complete developments
- Optimizing optimal reduction
- Title not available (Why is that?)
- Modular properties of algebraic type systems
Uses Software
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 Q4362909)
