An Overview of the Edinburgh Logical Framework-Reference-Cited by-同舟云学术

An Overview of the Edinburgh Logical Framework

Published:1989 Issue: Volume: Page:323-340
ISSN:
Container-title:Current Trends in Hardware Verification and Automated Theorem Proving
language:
Short-container-title:

Author:

Avron Arnon,Honsell Furio,Mason Ian A.

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/978-1-4612-3658-0_8.pdf

Reference13 articles.

1. Arnon Avron, Furio Honsell and Ian A. Mason. Using Typed Lambda Calculus to Implement Formal Systems on a Machine Technical Report, Laboratory for the Foundations of Computer Science, Edinburgh University, 1987. ECS-LFCS- 87-31.

2. Arnon Avron. Simple Consequence Relations Technical Report, Laboratory for the Foundations of Computer Science, Edinburgh University, 1987. ECS-LFCS- 87-30.

3. J. Barwise and S. Feferman, editors. Model-Theoretic Logics. Perspectives in Mathematical Logic, Springer-Verlag, 1985.

4. Nicolas G. de Bruijn. A survey of the project AUTOMATH In J. R Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 589-606, Academic Press, 1980.

5. Mariangiola Dezani, Furio Honsell and Simonetta Ronchi della Rocca. Models for Theories of Functions Strictly Depending on all their Arguments Journal of Symbolic Logic 51:3, 1986. Abstract.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Higher-order representation of substructural logics;ACM SIGPLAN Notices;2010-09-27

2. Witnessing Purity, Constancy and Mutability;Programming Languages and Systems;2009

3. Mechanizing common knowledge logic using COQ;Annals of Mathematics and Artificial Intelligence;2007-03-07

4. Encoding natural semantics in Coq;Algebraic Methodology and Software Technology;1995

5. Using typed lambda calculus to implement formal systems on a machine;Journal of Automated Reasoning;1992-12