Representability in lambda algebras
DSpace/Manakin Repository
Representability in lambda algebras
Bergstra, J.A.; Barendregt, H.P.; Klop, J.W.; Volken, H.
(1976) Indagationes mathematicae : ex actis quibus titulus : proceedings of the section of sciences, volume 38, issue 5, pp. 377 - 387
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0019-3577 (Print)
1872-6100 (Online)
Publisher: Elsevier
See
more statistics
about this item