The Weak Normalization of the Simply Typed se-calculus
type: Item
instance of: scholarly article
title: The Weak Normalization of the Simply Typed se-calculus
zbMATH Open document ID: 1128.03006
author: Ariel Arbiser
author: Fairouz Kamareddine
author: A. Ríos
publication date: 2008-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5225753
zbMATH Keywords: lambda calculus
zbMATH Keywords: explicit substitution
zbMATH Keywords: weak normalization
zbMATH Keywords: simple typing
MaRDI profile type: Publication
full work available at URL: jzm003
OpenAlex ID: W1970752973
DOI: 10.1093/JIGPAL/JZM003
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 5225753