Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

1 Citation (Scopus)

Abstract

no abstract.

Original language	English
Title of host publication	Selected Papers on Automath
Editors	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	339-367
ISBN (Print)	0-444-89822-0
Publication status	Published - 1994

Name	Studies in Logic
Volume	133

@inbook{267e86141b1149a5a17e5dc3864a54a2,

title = "Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)",

abstract = "no abstract.",

author = "H. Balsters",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in Logic",

publisher = "North-Holland Publishing Company",

pages = "339--367",

editor = "R.P. Nederpelt and J.H. Geuvers and \{Vrijer, de\}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}

TY - CHAP

T1 - Lambda calculus extended with segments : Chapter 1, Sections 1.1 and 1.2 (Introduction)

AU - Balsters, H.

PY - 1994

Y1 - 1994

N2 - no abstract.

AB - no abstract.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in Logic

SP - 339

EP - 367

BT - Selected Papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -