Lambda Calculus extended with Segments

H. Balsters

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

Name	Studies in Logic and the Foundations of Mathematics.
Publisher	Elsevier Publishing Company
Volume	133

Keywords

@inbook{538340a5bbb242388e8fa94af10ac5b3,

title = "Lambda Calculus extended with Segments",

keywords = "EWI-6254",

author = "H. Balsters",

note = "Imported from EWI/DB PMS [db-utwente:arti:0000002024]",

year = "1994",

month = aug,

language = "Undefined",

isbn = "0444898220",

series = "Studies in Logic and the Foundations of Mathematics.",

publisher = "Elsevier",

pages = "339--369",

booktitle = "Selected Papers on Automath",

}