Publisher
Springer Berlin Heidelberg
Reference49 articles.
1. H. Andreka and I. Nemeti. The Generalised Completeness of Horn Predicate-Logic as a Programming Language. DAI Research Report 21, University of Edinburgh, 1976.
2. H. Barendregt. Introduction to generalized type systems. J. Functional Programming, 1(2):125–154, 1991.
3. H. Barendregt and K. Hemerik. Types in lambda calculi and programming languages. In N. Jones, editor, European Symp. on Programming, LNCS 432, pages 1–35, Springer-Verlag, 1990.
4. C. Belleannée. Vers un démonstrateur de théorèmes adaptatif. Thèse, Université de Rennes I, 1991.
5. C. Böhm and A. Berarducci. Automatic synthesis of typed λ-programs on term algebras. Theoretical Computer Science, 39:135–154, 1985.