Canonical typing and &Pi;-conversion in the Barendregt Cube

Canonical typing and Π-conversion in the Barendregt Cube (1996)

by Fairouz Kamareddine , Rob Nederpelt

Citations:

4 - 3 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Canonical typing and Π-conversion in the Barendregt Cube	user correction - Legacy Corrections
AUTHOR NAME	Fairouz Kamareddine	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Computing Science; 17 Lilybank Gardens; University of Glasgow	user correction - Legacy Corrections
AUTHOR ADDR	Glasgow G12 8QQ, Scotland	user correction - Legacy Corrections
AUTHOR NAME	Rob Nederpelt	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Mathematics and Computing Science; Eindhoven University of Technology	user correction - Legacy Corrections
AUTHOR ADDR	P.O.Box 513; 5600 MB Eindhoven, the Netherlands	user correction - Legacy Corrections
ABSTRACT	In this article, we extend the Barendregt Cube with \Pi-conversion (which is the analogue of beta-conversion, on product type level) and study its properties. We use this extension to separate the problem of whether a term is typable from the problem of what is the type of a term.	user correction - Legacy Corrections
YEAR	1996	user correction - Legacy Corrections
CITATIONS	13 found	ParsCit 1.0