scientific article; zbMATH DE number 2185670

Cited in

(30)

Explicit substitution. On the edge of strong normalization
Confluence of extensional and non-extensional \(\lambda\)-calculi with explicit substitutions
Lambda-calculus with director strings
A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
Pattern matching as cut elimination
Intersection types for explicit substitutions
On explicit substitution with names
Perpetuality in a named lambda calculus with explicit substitutions
Unification for -calculi without propagation rules
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
On explicit substitutions and names (extended abstract)
The suspension notation for lambda terms and its use in metalanguage implementations
The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: a proof via corresponding calculus
Strongly-Normalizing Higher-Order Relational Queries
Explicit substitutions with de bruijn's levels
Problems in rewriting III
Combinatory reduction systems with explicit substitution that preserve strong normalisation
Confluence properties of extensional and non-extensional λ-calculi with explicit substitutions (extended abstract)
A flexible framework for visualisation of computational properties of general explicit substitutions calculi
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus
Subtractive logic
Big step normalisation for type theory
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
A prismoid framework for languages with resources
Exponentials as substitutions and the cost of cut elimination in linear logic
Linear additives
Factorize factorization
A fully abstract model of PCF based on extended addressing machines
Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic
Resource operators for \(\lambda\)-calculus

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 Q3024846)