Lambda Calculi with Types

Lambda Calculi with Types (1992)

by Henk Barendregt , S. Abramsky , D. M. Gabbay , T. S. E. Maibaum , H. P. Barendregt

Venue:	Handbook of Logic in Computer Science
Citations:	474 - 4 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Lambda Calculi with Types	user correction - Legacy Corrections
AUTHOR NAME	Henk Barendregt	SVM HeaderParse 0.1
AUTHOR AFFIL	Catholic University Nijmegen; To appear in	SVM HeaderParse 0.2
AUTHOR NAME	S. Abramsky	SVM HeaderParse 0.1
AUTHOR AFFIL	Oxford University Press; Comments are welcome. Author's address:; Faculty of Mathematics and Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	Toernooiveld 1; 6525 ED Nijmegen; The Netherlands	SVM HeaderParse 0.1
AUTHOR NAME	D. M. Gabbay	SVM HeaderParse 0.1
AUTHOR AFFIL	Oxford University Press; Comments are welcome. Author's address:; Faculty of Mathematics and Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	Toernooiveld 1; 6525 ED Nijmegen; The Netherlands	SVM HeaderParse 0.1
AUTHOR NAME	T. S. E. Maibaum	SVM HeaderParse 0.1
AUTHOR AFFIL	Oxford University Press; Comments are welcome. Author's address:; Faculty of Mathematics and Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	Toernooiveld 1; 6525 ED Nijmegen; The Netherlands	SVM HeaderParse 0.1
AUTHOR NAME	H. P. Barendregt	SVM HeaderParse 0.1
ABSTRACT	-	user correction - Legacy Corrections
YEAR	1992	INFERENCE
VENUE	Handbook of Logic in Computer Science	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	117--309	INFERENCE
VOLUME	2	INFERENCE
CITATIONS	107 found	ParsCit 1.0