Author:
Bezem Marc,Springintveld Jan
Publisher
Cambridge University Press (CUP)
Reference6 articles.
1. Computability of Recursive Functions
2. Embedding first order predicate logic in fragments of intuitionistic logic
3. Shepherdson J. C. (1985) Undecidability of Horn clause logic and pure Prolog. Unpublished manuscript.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Introduction to Type Theory;Language Engineering and Rigorous Software Development;2009
2. Pattern matching coverage checking with dependent types using set approximations;Proceedings of the 2007 workshop on Programming languages meets program verification;2007-10-02
3. Bibliography;Lectures on the Curry-Howard Isomorphism;2006
4. Dependent types;Lectures on the Curry-Howard Isomorphism;2006
5. First-order logic;Lectures on the Curry-Howard Isomorphism;2006