On -conversion in the -cube and the combination with abbreviations
DOI10.1016/S0168-0072(98)00019-0zbMATH Open0930.03012OpenAlexW2062081760MaRDI QIDQ1302298FDOQ1302298
Authors: Fairouz Kamareddine, Roel Bloo, Rob Nederpelt 
Publication date: 15 February 2000
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(98)00019-0
Recommendations
- scientific article
- Pedagogical lambda-cube: the \(\lambda^{2}\) case
- From λ to π; or, Rediscovering continuations
- Canonical typing and ∏-conversion in the Barendregt Cube
- scientific article; zbMATH DE number 1302024
- The \(\lambda \)-calculus in the \(\pi \)-calculus
- \(\pi\)-calculi
- scientific article; zbMATH DE number 7132707
- Some remarks on \(\pi_\wedge\)
- On confluence in the \(\pi\)-calculus
normalizationtyped \(\lambda\)-calculus\(\lambda\)-cube\(\Pi\)-conversion\(\Pi\)-reductionabbreviationsabstraction operatorssubject-reduction
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Title not available (Why is that?)
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- Title not available (Why is that?)
- Call-by-name, call-by-value, call-by-need and the linear lambda calculus
- The Barendregt cube with definitions and generalised reduction
- Refining reduction in the lambda calculus
- Canonical typing and ∏-conversion in the Barendregt Cube
Cited In (10)
- Revisiting the notion of function
- Canonical typing and ∏-conversion in the Barendregt Cube
- Title not available (Why is that?)
- Abbreviation templates
- A framework for defining logical frameworks
- Typed $\lambda$-calculi with one binder
- An extended type system with lambda-typed lambda-expressions
- Automath and Pure Type Systems
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
- Automath type inclusion in Barendregt's cube
Uses Software
This page was built for publication: On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1302298)
