Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
type: Item
instance of: scholarly article
title: Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
zbMATH Open document ID: 0874.03017
DOI: 10.1016/S0304-3975(96)80713-4
author: Barnaby P. Hilken
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 984758
zbMATH Keywords: simply typed 2\(\lambda\)-calculus
zbMATH Keywords: equational theory
zbMATH Keywords: word problem
zbMATH Keywords: confluence
zbMATH Keywords: catagorical rewriting
MaRDI profile type: Publication
cites work: Q4281490
cites work: Q3342534
cites work: The calculus of constructions
cites work: Q5667469
cites work: A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object
cites work: Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
cites work: Simulating expansions without expansions
cites work: Q5580926
cites work: Q3994895
cites work: Formal category theory: Adjointness for 2-categories
cites work: The virtues of eta-expansion
cites work: Q3815296
full work available at URL: s0304-3975(96)80713-4
OpenAlex ID: W4210699837
Recommended article: The simply typed rewriting calculus
Recommended article: Proof Systems for Retracts in Simply Typed Lambda Calculus
Recommended article: Q3138540
Recommended article: Q4323124
Recommended article: A formalised proof of the soundness and completeness of a simply typed lambda-calculus with explicit substitutions
Recommended article: A quantitative model for simply typed λ-calculus
Recommended article: A unified approach to type theory through a refined \(\lambda\)-calculus
Recommended article: Theorem proving for untyped constructive \(\lambda\)-calculus: Implementation and application
Recommended article: Q5015362
Recommended article: A completeness result for the simply typed \(\lambda \mu \)-calculus
description: scientific article; zbMATH DE number 984758