Higher-order substitutions
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4191621 (Why is no real title available?)
- scientific article; zbMATH DE number 4052993 (Why is no real title available?)
- scientific article; zbMATH DE number 4058907 (Why is no real title available?)
- scientific article; zbMATH DE number 65531 (Why is no real title available?)
- scientific article; zbMATH DE number 1331927 (Why is no real title available?)
- scientific article; zbMATH DE number 512788 (Why is no real title available?)
- scientific article; zbMATH DE number 3993540 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- scientific article; zbMATH DE number 3400430 (Why is no real title available?)
- A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
- A framework for defining logics
- A theory of binding structures and applications to rewriting
- An efficient interpreter for the lambda-calculus
- Conditional lambda-theories and the verification of static properties of programs
- Correctness of procedure representations in higher-order assembly language
- Correspondence between ALGOL 60 and Church's Lambda-notation
- Explicit substitutions
- Higher-order rewrite systems and their confluence
- Metacircularity in the polymorphic \(\lambda\)-calculus
- On theories with a combinatorial definition of 'equivalence'
- The Calculi of Lambda Conversion. (AM-6)
- The calculus of constructions
- Uniform proofs as a foundation for logic programming
Cited in
(26)- Substitution: A formal methods case study using monads and transformations
- scientific article; zbMATH DE number 1476647 (Why is no real title available?)
- Functional programming with higher-order abstract syntax and explicit substitutions
- A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions
- The theory of contexts for first order and higher order abstract syntax
- Programming Languages and Systems
- Explicit substitutions
- Simultaneous substitution in the typed lambda calculus
- Two-level lambda-calculus
- scientific article; zbMATH DE number 1405633 (Why is no real title available?)
- The suspension notation for lambda terms and its use in metalanguage implementations
- scientific article; zbMATH DE number 1696799 (Why is no real title available?)
- CINNI -- a generic calculus of explicit substitutions and its application to \(\lambda\)-, \(\sigma\)- and \(\pi\)-calculi
- Dependent types and explicit substitutions: A meta-theoretical development
- Substitution, jumps, and algebraic effects
- Implementation of higher-order unification based on calculus of explicit substitution
- scientific article; zbMATH DE number 1424037 (Why is no real title available?)
- C-expressions: A variable-free calculus for equational logic programming
- scientific article; zbMATH DE number 1870536 (Why is no real title available?)
- A meta lambda calculus with cross-level computation
- scientific article; zbMATH DE number 3480013 (Why is no real title available?)
- Substitution operators
- Explicit substitutions and higher-order syntax
- scientific article; zbMATH DE number 1508928 (Why is no real title available?)
- Unification with extended patterns
- scientific article; zbMATH DE number 4177054 (Why is no real title available?)
This page was built for publication: Higher-order substitutions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854398)
