Alpha-conversion and typability
type: Item
instance of: scholarly article
title: Alpha-conversion and typability
zbMATH Open document ID: 1004.03005
author: Assaf Kfoury
author: Jerzy Tiuryn
author: Simona Ronchi Della Rocca
author: Paweł Urzyczyn
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 1853028
zbMATH Keywords: alpha-conversion
zbMATH Keywords: second-order \(\lambda\)-calculus
zbMATH Keywords: higher-order \(\lambda\)-calculus
zbMATH Keywords: typability
MaRDI profile type: Publication
full work available at URL: inco.1998.2756
OpenAlex ID: W2028243582
cites work: Q4385533
cites work: Q5667469
cites work: Q3142164
cites work: Finitely stratified polymorphism
cites work: Some lambda calculus and type theory formalized
cites work: Q4068054
cites work: Type reconstruction in Fω
DOI: 10.1006/INCO.1998.2756
Recommended article: On the complexity of alpha conversion
Recommended article: Alpha conversion, conditions on variables and categorical logic
Recommended article: Q4012882
Recommended article: Q3358643
Recommended article: Varying alpha
Recommended article: Q3461924
Recommended article: Typing theorems of omega algebra
Recommended article: Alpha, FACTT, and beyond
description: scientific article; zbMATH DE number 1853028