Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference39 articles.
1. N. De Bruijn, Lambda-calculus notation with nameless Dummies, a tool for automatic formula manipulation, Indag. Math. 34 (1972).
2. K. Bruce and G. Longo, A modest model of records, inheritance and bounded quantification, Proc. LICS 88, Edinburgh (1988).
3. A. Burroni, Alg�bres graphiques, Cahiers de Topologie et G�om�trie Diff�rentielle XXII-3 (1981).
4. CAML Primer and CAML Reference Manual, INRIA-ENS (1988).
5. L. Cardelli, The Amber machine, in Combinators and Functional Programming, LNCS 242 (1986).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献