Lambda Calculus extended with Segments

H. Balsters

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Original languageUndefined
Title of host publicationSelected Papers on Automath
Place of PublicationAmsterdam
PublisherElsevier
Pages339-369
Number of pages31
ISBN (Print)0444898220
Publication statusPublished - Aug 1994

Publication series

NameStudies in Logic and the Foundations of Mathematics.
PublisherElsevier Publishing Company
Volume133

Keywords

  • EWI-6254

Cite this

Balsters, H. (1994). Lambda Calculus extended with Segments. In Selected Papers on Automath (pp. 339-369). (Studies in Logic and the Foundations of Mathematics.; Vol. 133). Amsterdam: Elsevier.